×

找到30个文档(结果1-30)

战略逻辑中的依赖性。 (英语) Zbl 1484.68101号

Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第34条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用

时间时序逻辑。 (英语) Zbl 1431.03032号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。10460, 211-230 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于QCTL的表达性。 (英语) Zbl 1392.68245号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第28条,第15页(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\mathsf){ATL}_\mathit{sc}\),部分观察。 (英语) Zbl 1476.68151号

Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,43-57(2015)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

单反游戏中布尔目标的加权策略逻辑。 (英语) 兹比尔1366.68166

Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,69-83(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权Kripke结构的定量验证。 (英语) Zbl 1448.68287号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 64-80 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL平均值。 (英语) Zbl 1417.68098号

Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 266-280 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

的可满足性自动变速器与战略背景。 (英语) Zbl 1464.03018号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119208-223(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

量化CTL:表达性和模型检查(扩展抽象)。 (英语) 兹比尔1364.68261

Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454177-192(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有策略上下文的ATL:表达性和模型检查。 (英语) Zbl 1245.68135号

Lodaya,Kamal(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2010),2010年12月15日至18日,印度钦奈。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-23-1)。LIPIcs–莱布尼茨国际信息学会议录8120-132,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有策略上下文和有限内存的ATL。 (英语) 兹伯利1211.03031

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2009年1月3日至6日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2009国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92686-3/pbk)。计算机科学课堂讲稿540792-106(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

故障信道机器终止时。 (英语) Zbl 1259.68120号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学论文集121-132,仅电子版(2008)。
PDF格式BibTeX公司 XML格式引用

实时模型检查中的表达性和复杂性。 (英语) Zbl 1155.68426号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。《计算机科学讲义》5126124-135(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成本太高了! (英语) Zbl 1142.68045号

Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763,53-68(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于ATL的表现力和复杂性。 (英语) Zbl 1142.68438号

Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423243-257(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于TPTL公司MTL公司. (英语) Zbl 1140.03303号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821432-443(2005)。
MSC公司:03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一般流系统的非确定性时序逻辑。 (英语) Zbl 1135.93340号

Alur,Rajeev(编辑)等人,《混合系统:计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21259-0/pbk)。计算机科学课堂讲稿2993280-295(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查路径(初步报告)。 (英语) Zbl 1274.68197号

Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 251-265 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过去是免费的:关于用过去验证线性时间属性的复杂性。 (英语) Zbl 1270.68172号

Nestmann,Uwe(编辑)等人,EXPRESS'02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》68,第2期,87-104(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查\(\text{CTL}^+\)和FCTL很难。 (英语) Zbl 0986.68067号

Honsell,Furio(编辑)等人,《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001,该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2030, 318-331 (2001).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段