鲁帕克·马朱姆达尔;考希·马利克;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼 通过有限奇偶博弈实现随机系统的符号控制。 (英语) Zbl 07812048号 非线性分析。,混合系统。 51,文章ID 101430,24 p.(2024).MSC公司:68倍 91至XX PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,《非线性分析》。,混合系统。51,文章ID 101430,24 p.(2024;Zbl 07812048) 全文: 内政部 arXiv公司
大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,344--358(2023;Zbl 07810626) 全文: 内政部 arXiv公司
保罗·汉尼拔;奥尔德罗格(Ernst-Rüdiger Olderog) 重复通信Petri博弈的综合问题。 (英语) Zbl 1499.68225号 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。MSC公司:68问题85 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hannibal}和\textit{E.-R.Olderog},Lect。注释计算。科学。13288,236--257(2022;Zbl 1499.68225) 全文: 内政部
朱利安·古铁雷斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 具有\(\omega \)-常规规范的Mean-payoff游戏。 (英语) Zbl 1484.91080号 游戏 13,第1号,第19号论文,37页(2022年).MSC公司:91A43型 91A10号 91A06型 91A05级 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Games 13,No.1,Paper No.19,37 p.(2022年;Zbl 1484.91080) 全文: 内政部
加尔阿姆拉姆;沙哈尔·茂兹;撒尿者,或;詹·奥利弗·林格特 欧米伽规则能量游戏的高效算法。 (英语) Zbl 1522.91065号 Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13047, 163-181 (2021).MSC公司:91A68型 91A43型 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,Lect。注释计算。科学。13047163-181(2021年;Zbl 1522.91065) 全文: 内政部
克里斯特尔·拜尔;科宁,诺琳;伯恩德·芬克贝纳;弗洛里安·芬克;西蒙·扬奇;朱利安·西伯 基于因果关系的游戏解决。 (英语) Zbl 1493.68203号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).MSC公司:60年第68季度 03B70号 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。12759894--917(2021年;Zbl 1493.68203) 全文: 内政部 arXiv公司
加尔阿姆拉姆;苏古曼·班萨尔;油炸,Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯 通过反应合成调整行为。 (英语) 兹比尔1493.68201 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,Lect。注释计算。科学。12759870--893(2021年;Zbl 1493.68201) 全文: 内政部 arXiv公司
谢尔盖,哈达德;青柠,迪迪埃;奥利维尔·H·鲁克斯。 定性时间并发游戏的基于回合的方法。 (英语) Zbl 1489.68160号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 76-92 (2021).MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}等人,Lect。注释计算。科学。12734、76-92(2021年;Zbl 1489.68160) 全文: 内政部 哈尔
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 学报信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司
杰恩·卢克·贝切内克;青柠,迪迪埃;奥利维尔·H·鲁克斯。 并发DES的逻辑时间控制。 (英语) 兹比尔1478.93185 离散事件动态。系统。 31,第2期,185-217(2021).MSC公司:93亿B50 93个B03 第68季度第45季度 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Béchennec}等人,离散事件动力学。系统。31,第2号,185--217(2021;Zbl 1478.93185) 全文: 内政部 哈尔
陈明帅;马丁·范策尔;李,杨佳;彼得·莫萨德(Peter N.Mosaad)。;詹乃军 不确定性和延迟是失败的根源——通过综合延迟弹性控制,在算法上驯服它们。 (英语) 兹比尔1528.68214 学报信息。 58,第5号,497-528(2021).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,《学报》第58期,第5期,第497--528页(2021年;Zbl 1528.68214) 全文: 内政部
米拉德·阿加乔哈里;阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。 离散投标无限长博弈中的确定性。 (英语) Zbl 1509.91007号 日志。方法计算。科学。 17,第1号,第10号论文,23页(2021年).MSC公司:91A43型 第68季度第45季度 91A50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aghajohari}等人,日志。方法计算。科学。17,第1号,第10号文件,第23页(2021;兹bl 1509.91007) 全文: arXiv公司 链接
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴 具有分支时间获胜条件的多权重博弈的综合。 (英语) Zbl 1503.68182号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.考夫曼}等人,Lect。注释计算。科学。12152,46-66(2020;Zbl 1503.68182) 全文: 内政部
贝拉德,贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 (英语) Zbl 07455739号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32633-49(2020年)。MSC公司:第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326、33-49(2020;Zbl 07455739) 全文: arXiv公司 链接
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 部分可观测性下的LTLf综合:从理论到实践。 (英语) Zbl 07455737号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3261-17(2020年)。MSC公司:第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi},电子。程序。西奥。计算。科学。(EPTCS)326,1--17(2020;Zbl 07455737) 全文: arXiv公司 链接
Kulkarni,Abhishek N。;傅洁;罗,欢;查尔斯·坎胡阿(Charles A.Kamhoua)。;Leslie,Nandi O。 具有时序逻辑目标的图上的诱饵分配游戏。 (英语) Zbl 1483.68044号 朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12513, 168-187 (2020).MSC公司:68平方米25 03B44号 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Kulkarni}等人,Lect。注释计算。科学。12513、168--187(2020;Zbl 1483.68044) 全文: 内政部 arXiv公司
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德 定量可达博弈中子博弈完美均衡的复杂性。 (英语) Zbl 1519.91050号 日志。方法计算。科学。 16,第4号,第8号论文,43页(2020年).MSC公司:91A43型 91A11号机组 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第8号论文,43页(2020年;Zbl 1519.91050) 全文: arXiv公司 链接
勒纳德,马蒂厄;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 (英语) Zbl 1458.68120号 正式Asp。计算。 32,编号2-3,315-360(2020).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人,《正式Asp》。计算。32,编号2--3,315--360(2020;Zbl 1458.68120) 全文: 内政部 哈尔
迭戈·菲格拉;阿尼尔班·马朱姆达尔;M·普拉文。 使用能量游戏玩数据单词中的重复。 (英语) Zbl 1497.91007号 日志。方法计算。科学。 16,第3号,第1号论文,第42页(2020).MSC公司:91A05级 03B25号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,日志。方法计算。科学。16,第3号,第1号论文,42页(2020年;Zbl 1497.91007) 全文: arXiv公司 链接
瑞秋·法拉;奥尔纳·库普弗曼 关于用算术综合规格说明。 (英语) Zbl 1440.68171号 Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12011, 161-173 (2020).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},莱克特。注释计算。科学。12011,161--173(2020;Zbl 1440.68171) 全文: 内政部
莎拉·温特;马丁·齐默尔曼 延迟博弈中的有限状态策略。 (英语) Zbl 1443.68100号 Inf.计算。 272,文章ID 104500,19 p.(2020).MSC公司:第68季度第45季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Winter}和\textit{M.Zimmermann},Inf.Compute。272,文章ID 104500,19 p.(2020;Zbl 1443.68100) 全文: 内政部 arXiv公司
安妮·凯瑟琳·施穆克;托马斯·摩尔;鲁帕克·马朱姆达尔 关于反应合成与非终止过程监控之间的关系。 (英语) Zbl 1441.93173号 离散事件动态。系统。 30,编号1,81-124(2020).MSC公司:93元62角 93元65角 93亿B50 第68季度第45季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。30,第1号,81-124(2020;Zbl 1441.93173) 全文: 内政部
尼尔,丹尼尔;亚历山大·韦内特;马丁·齐默尔曼 综合最佳弹性控制器。 (英语) Zbl 1435.68066号 学报信息。 57,编号1-2,195-221(2020).MSC公司:68号30 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息学报》57,第1--2期,195-221期(2020年;Zbl 1435.68066) 全文: 内政部 arXiv公司
瑞典雅各布斯;穆罕默德·萨克尔 一种用于渴望策略的懒惰合成的符号算法。 (英语) Zbl 1435.68198号 学报信息。 57,编号1-2,81-106(2020).MSC公司:60年第68季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr},《学报》第57期,第1--2,81-106号(2020年;Zbl 1435.68198) 全文: 内政部
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 第68季度第45季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
亚历克桑德拉·约瓦诺维奇;青柠,迪迪埃;奥利维尔·H·鲁克斯。 实时系统参数控制的博弈方法。 (英语) Zbl 1421.93017号 国际J.控制 92,第9期,2025-2036(2019).MSC公司:93个B03 93亿B50 91A80型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,国际期刊控制92,第9期,2025--2036(2019;Zbl 1421.93017) 全文: 内政部 哈尔
乔治·巴赫迈耶;费利克斯·布兰特;基斯特,克里斯蒂安;保罗·哈伦斯坦;凯文·卡德尔;多米尼克·彼得斯;汉斯·乔治·西迪格 \(k\)-多数有向图和在选民人数不变的情况下投票的困难。 (英语) Zbl 1427.91122号 J.计算。系统。科学。 105, 130-157 (2019).MSC公司:91B14号机组 91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bachmeier}等人,J.Compute。系统。科学。105、130-157(2019年;Zbl 1427.91122) 全文: 内政部 arXiv公司
尼尔,丹尼尔;亚历山大·韦内特;马丁·齐默尔曼 综合最佳弹性控制器。 (英语) Zbl 1528.68085号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第34条,第17页(2018年)。MSC公司:68号30 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,LIPIcs——莱布尼茨国际程序。通知。119,第34条,第17页(2018;兹bl 1528.68085) 全文: 内政部
尼古拉斯·巴塞特;伊斯马·杰克;阿诺·保利;Jean-François拉斯金;范登,博加德·玛丽 超越可接受性:战略链之间的主导地位。 (英语) Zbl 1528.91015号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第10条,第22页(2018年)。MSC公司:91A43型 06A07年 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,LIPIcs——莱布尼茨国际程序。通知。119,第10条,22 p.(2018;Zbl 1528.91015) 全文: 内政部 arXiv公司
阿夫尼,盖伊;什巴希斯·古哈;奥尔纳·库普弗曼 带时钟的定时网络游戏。 (英语) Zbl 1510.91055号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第23条,第18页(2018年)。MSC公司:91A43型 第68季度第45季度 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,LIPIcs——莱布尼茨国际程序。通知。117,第23条,第18页(2018;兹bl 1510.91055) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪;莫舍·瓦尔迪。 流动游戏。 (英语) 兹比尔1491.91037 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页(2018年)。MSC公司:91A43型 05C21号 05第57页 05C85号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,LIPIcs——莱布尼茨国际程序。通知。93,第38条,第16页(2018;Zbl 1491.91037) 全文: 内政部
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;拉斯穆斯·易卜森·延森 无限期穷人竞价游戏。 (英语) Zbl 1443.91070号 Christodoulou,George(编辑)等人,《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11316, 21-36 (2018).MSC公司:91A43型 91A05级 05第57页 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。注释计算。科学。11316、21-36(2018年;Zbl 1443.91070) 全文: 内政部 arXiv公司
科兹兹托夫·潘塞兹;安德鲁·舒曼 基于粗糙集理论的泥模博弈。 (英语) Zbl 1398.91116号 国际期刊申请。数学。计算。科学。 28,第3期,531-544(2018).MSC公司:91A44型 91A43型 91A46型 92D50型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Pancerz}和\textit{A.Schumann},国际期刊应用。数学。计算。科学。28,第3号,531--544(2018;Zbl 1398.91116) 全文: 内政部
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 (英语) Zbl 1392.68233号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).MSC公司:60年第68季度 第68季度第45季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,in:模型检查手册。查姆:斯普林格。921-962(2018;Zbl 1392.68233) 全文: 内政部
约翰·范·本特姆 计算作为社会中介:什么、如何和谁。 (英语) Zbl 1395.68119号 Inf.计算。 261,第3部分,519-535(2018).MSC公司:第68季度01 03B42型 68T27型 91A80型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},信息计算。261,第3部分,519--535(2018;Zbl 1395.68119) 全文: 内政部 链接
瓦迪姆·马尔文;法比奥·莫加维罗;阿尼埃洛·穆拉诺;Loredana索伦蒂诺 关于分级策略量词的推理。 (英语) Zbl 1390.68612号 Inf.计算。 259,第3部分,390-411(2018).MSC公司:68T27型 68T42型 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{V.Malvone}等人,《信息计算》。259,第3部分,390--411(2018;Zbl 1390.68612) 全文: 内政部
马丁·齐默尔曼 延迟博弈中的有限状态策略。 (英语) Zbl 1484.91014号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256151-165(2017)。MSC公司:91A10号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},电子。程序。西奥。计算。科学。(EPTCS)256151--165(2017;Zbl 1484.91014) 全文: 链接
弗朗西斯科·贝拉迪内利;翁贝托·格兰迪;安德烈亚斯·赫齐格;多米尼克·隆吉;埃米利亚诺·洛里尼;阿里安娜·诺瓦罗;劳伦特·佩鲁塞尔 在布尔游戏中放松独占控制。 (英语) Zbl 1483.68185号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,43-56(2017)。MSC公司:60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251,43-56(2017;Zbl 1483.68185) 全文: arXiv公司 链接
奥尔纳·库普弗曼;塔米尔、塔米 分层网络编队游戏。 (英语) Zbl 1457.91106号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 229-246 (2017).MSC公司:91A43型 91A65型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{T.Tamir},莱克特。注释计算。科学。10205、229--246(2017;Zbl 1457.91106) 全文: 内政部
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;文西斯拉夫·乔涅夫 无限期竞标游戏。 (英语) Zbl 1448.91061号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第21条,第18页(2017年)。MSC公司:91A43型 05第57页 91A05级 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,LIPIcs——莱布尼茨国际程序。通知。85,第21条,第18页(2017年;Zbl 1448.91061) 全文: 内政部
克里希南德·查特吉;克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森 并发安全游戏的策略复杂性。 (英语) Zbl 1447.91018号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第55条,第13页(2017年)。MSC公司:91A20型 91A43型 91A05级 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。83,第55条,13 p.(2017;Zbl 1447.91018) 全文: 内政部
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔 用于平均对偶游戏的更快算法。 (英语) Zbl 1441.91015号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第39条,第14页(2017年)。MSC公司:91A43型 65年第68季度 68瓦40 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。83,第39条,第14页(2017年;Zbl 1441.91015) 全文: 内政部 arXiv公司
阿夫尼,盖伊;什巴希斯·古哈;奥尔纳·库普弗曼 定时网络游戏。 (英语) Zbl 1441.91014号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第37条,第16页(2017年)。MSC公司:91A43型 第68季度第45季度 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,LIPIcs——莱布尼茨国际程序。通知。83,第37条,第16页(2017年;Zbl 1441.91014) 全文: 内政部
安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 (英语) Zbl 1379.93048号 离散事件动态。系统。 27,第2期,261-299(2017).MSC公司:93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第2号,261--299(2017;Zbl 1379.93048) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
维罗尼克·布鲁埃;勒鲁(Le Roux,Stéphane);阿诺·保利;Jean-François拉斯金 关于弱子博弈完美均衡的存在性。 (英语) Zbl 1486.91016号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 145-161 (2017).MSC公司:91A43型 60年第68季度 91A11号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,Lect。注释计算。科学。10203、145--161(2017;Zbl 1486.91016) 全文: 内政部 链接
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 无遗憾的反应合成。 (英语) Zbl 1364.68263号 学报信息。 54,第1期,3-39页(2017年); 更正同上,第59号,第5671(2022)。MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》54,第1期,第3--39页(2017年;Zbl 1364.68263) 全文: 内政部 arXiv公司
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·奇梅利克;查特吉,克里什南杜;伊万娜·乔纳;卡林·贝尔塔 随机线性系统的时间逻辑控制,使用概率对策的抽象精化。 (英语) Zbl 1351.93138号 非线性分析。,混合系统。 23, 230-253 (2017).MSC公司:93E03型 93二氧化碳 93C55美元 91A15型 93E25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}等人,《非线性分析》。,混合系统。23、230-253(2017年;Zbl 1351.93138) 全文: 内政部 arXiv公司
安舒尔·古普塔;斯文·舍韦;阿舒托什·特里维迪;迪帕克(Deepak),玛兰·赛·克里希纳(Maram Sai Krishna);巴达提·库马尔 奖励Stackelberg mean-payoff游戏。 (英语) Zbl 1390.91073号 De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。第14届国际会议,2016年SEFM,作为2016年STAF的一部分,于2016年7月4日至8日在奥地利维也纳举行。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763304-320(2016)。MSC公司:91A43型 91A06型 91A65型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,Lect。注释计算。科学。9763,304--320(2016;Zbl 1390.91073) 全文: 内政部 arXiv公司
朱利安·布拉德菲尔德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 部分顺序布尔博弈:基于逻辑的战略互动模型中的信息独立性。 (英语) Zbl 1397.91017号 合成 193,第3期,781-811(2016).MSC公司:91A10号 03B60号 03B70号 2017年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}等人,Synthese 193,No.3,781--811(2016;Zbl 1397.91017) 全文: 内政部 链接
阿夫尼,盖伊;奥尔纳·库普弗曼;塔米尔、塔米 有固定目标的网络形成游戏。 (英语) 兹比尔1353.91012 Inf.计算。 251, 165-178 (2016).MSC公司:91A43型 60年第68季度 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。251、165--178(2016年;Zbl 1353.91012) 全文: 内政部
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼 动态资源分配游戏。 (英语) Zbl 1403.91059号 Gairing,Martin(编辑)等人,《算法博弈论》。2016年9月19-21日,第九届SAGT国际研讨会,英国利物浦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53353-6/pbk;978-3-562-53354-3/电子书)。计算机科学讲座笔记9928,153-166(2016)。MSC公司:91A43型 91立方厘米32 91年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。注释计算。科学。9928153-166(2016年;Zbl 1403.91059) 全文: 内政部
奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。智力。 78,编号1,3-20(2016).MSC公司:60年第68季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 预期可达性-时间游戏。 (英语) Zbl 1339.68146号 西奥。计算。科学。 631, 139-160 (2016).MSC公司:第68季度第45季度 2010年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Theor。计算。科学。63113-160(2016年;Zbl 1339.68146) 全文: 内政部 arXiv公司
库沙·埃特萨米;米哈利斯·亚纳卡基斯 递归马尔可夫决策过程和递归随机对策。 (英语) Zbl 1333.91005号 美国临床医学杂志 62,第2号,第11条,69页(2015年).MSC公司:91A15型 60J80型 65年第68季度 2012年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis},J.ACM 62,第2号,第11条,69 p.(2015;Zbl 1333.91005) 全文: 内政部
弗朗西斯科·佩德罗什;里贾诺·克里亚多;埃丝特·加西亚;浪漫,米格尔;Sánchez,维多利亚·E·。 使用复杂网络比较一系列排名与平局:对西班牙股市的分析(IBEX-35指数)。 (英语) Zbl 1334.05127号 Netw公司。埃特罗格。媒体 10,第1期,101-125(2015).MSC公司:05C75号 05C82号 05C12号 05C90年 91克80 PDF格式BibTeX公司 XML格式引用 \textit{F.Pedroche}等人,Netw。埃特罗格。Media 10,No.1,101--125(2015;Zbl 1334.05127) 全文: 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:87年第68季度 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 过渡系统中的相关路径:模态微积分的下降。 (英语) Zbl 1465.68173号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).MSC公司:60年第68季度 03B16号 03B45号 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}等人,Lect。注释计算。科学。9234、179--191(2015年;Zbl 1465.68173) 全文: 内政部
克里希南德·查特吉;维什瓦纳斯·拉曼 假设数字合同签订的担保合成。 (英语) Zbl 1342.94068号 正式Asp。计算。 26,第4期,825-859(2014).MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},正式Asp。计算。26,第4号,825--859(2014;Zbl 1342.94068) 全文: 内政部
克里希南德·查特吉;莫妮卡·亨津格 交替Büchi对策和最大终成分分解的高效动态算法。 (英语) Zbl 1295.91019号 美国临床医学杂志 第61号第3条第15条第40页(2014年).MSC公司:91A43型 05C85号 60年第68季度 87年第68季度 68兰特 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{M.Henzinger},J.ACM 61,第3号,第15条,第40页(2014;Zbl 1295.91019) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩 部分观察随机博弈,信念失败时如何取胜。 (英语) Zbl 1291.91021号 ACM事务处理。计算。日志。 第15号第2条第16条第44页(2014年).MSC公司:91A15型 2017年第68季度 91A43型 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen},ACM Trans。计算。日志。15,第2号,第16条,第44页(2014;Zbl 1291.91021) 全文: 内政部
查特吉,克里什南杜;米凯尔·兰多尔;Jean-François拉斯金 多维量化目标的战略合成。 (英语) Zbl 1360.68208号 学报信息。 51,编号3-4,129-163(2014).MSC公司:68米14 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息学报》第51期,第3--4129-163号(2014年;Zbl 1360.68208) 全文: 内政部 arXiv公司
Larsen,Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部
马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统开关控制器的自动综合:安全控制。 (英语) Zbl 1294.93041号 西奥。计算。科学。 493, 116-138 (2013).MSC公司:93二氧化碳 第68季度第45季度 91A80型 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,Theor。计算。科学。493116--138(2013年;Zbl 1294.93041) 全文: 内政部 arXiv公司
马丁·齐默尔曼 参数LTL博弈中的最优边界。 (英语) Zbl 1296.03015号 西奥。计算。科学。 493, 30-45 (2013).MSC公司:03B44号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{M.Zimmermann},Theor。计算。科学。493,30--45(2013;Zbl 1296.03015) 全文: 内政部
达姆,沃纳;汉斯·约格·彼得;詹·拉科夫;伯恩德·韦斯特法尔 我们能否建立它:合作驾驶员辅助系统控制策略的形式化综合。 (英语) Zbl 1269.93067号 数学。结构。计算。科学。 第4号第23页,第676-725页(2013年).MSC公司:93C85号 2005年第68季度 60年第68季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,数学。结构。计算。科学。23,第4号,676--725(2013;Zbl 1269.93067) 全文: 内政部
克里希南德·查特吉;莫妮卡·亨津格 交替Büchi游戏的(O(n^2))时间算法。 (英语) Zbl 1421.68110号 Rabani,Yuval(编辑),第23届ACM-SIAM离散算法年度研讨会论文集,SODA 2012,日本京都,2012年1月17日至19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1386-1399 (2012).MSC公司:68兰特 05C85号 68瓦40 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{M.Henzinger},摘自:第23届年度ACM-SIAM离散算法研讨会论文集,SODA 2012,日本京都,2012年1月17-19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1386——1399(2012;Zbl 1421.68110) 全文: arXiv公司 链接
克里希南德·查特吉;劳伦特·多恩 能源平价游戏。 (英语) Zbl 1260.91039号 西奥。计算。科学。 458,49-60(2012年).MSC公司:91A43型 91A05级 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen},Theor。计算。科学。458、49-60(2012年;Zbl 1260.91039) 全文: 内政部
沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。MSC公司:60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388、210-263(2012年;Zbl 1250.68190) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
多米尼克·克莱恩;弗兰克·G·拉德马赫。;沃尔夫冈·托马斯 随机故障下的网络移动:复杂性分析。 (英语) Zbl 1242.68031号 科学。计算。程序。 77,编号7-8,940-954(2012).MSC公司:68米15 2017年第68季度 91A80型 91A43型 91A05级 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Klein}等人,科学。计算。程序。77,编号7-8940-954(2012年;兹bl 1242.68031) 全文: 内政部
克里希南德·查特吉;维什瓦纳斯·拉曼 数字合同签署的综合协议。 (英语) Zbl 1325.94115号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148152-168(2012)。MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},莱克特。注释计算。科学。7148152--168(2012年;Zbl 1325.94115) 全文: 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 (英语) Zbl 1263.68112号 J.计算。系统。科学。 78,第2期,441-460(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人,J.计算。系统。科学。78,No.2,441--460(2012;Zbl 1263.68112) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。 随机(ω)-正则博弈的研究。 (英语) Zbl 1237.91036号 J.计算。系统。科学。 78,第2期,394-413(2012).MSC公司:91A15型 91A05级 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{T.A.Henzinger},J.Compute。系统。科学。78,编号2394-413(2012年;兹bl 1237.91036) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 形式方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 (英语) Zbl 1242.68161号 J.应用。非类别。日志。 21,第1期,93-131(2011).MSC公司:60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \文本{D.P.Guelev}等人,J.Appl。非类别。日志。21,第1号,93--131(2011;Zbl 1242.68161) 全文: 内政部
布利切夫,P.E。 博弈论模拟检查工具。 (英语。俄文原件) 兹比尔1242.68154 程序。计算。柔和。 37,第4期,200-209(2011); 译自Programmirovanie 37,No.4(2011)。MSC公司:60年第68季度 68问题85 03B44号 91A80型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev},程序。计算。柔和。37,第4号,200--209(2011;Zbl 1242.68154);译自Programmirovanie 37,No.4(2011) 全文: 内政部
亚历山德罗·比安科;马可·费拉;法比奥·莫加维罗;阿尼埃洛·穆拉诺 探索半位置性的边界。 (英语) Zbl 1235.05093号 安。数学。Artif公司。智力。 62,编号1-2,55-77(2011).MSC公司:05第57页 91A43型 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人,《数学年鉴》。Artif公司。智力。62,编号1--2,55-77(2011;Zbl 1235.05093) 全文: 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 可判定混合游戏规范。 (英语) Zbl 1229.93104号 西奥。计算。科学。 412,第48号,6770-6785(2011).MSC公司:93立方 91A80型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人,Theor。计算。科学。412,编号486770——6785(2011年;兹bl 1229.93104) 全文: 内政部
贾·戴维德·奎塞尔;马丁·范策尔;达姆,沃纳 跨越类似游戏之间的桥梁。 (英语) Zbl 1348.68147号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,160-176(2011)。MSC公司:60年第68季度 第68季度第45季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人,Lect。注释计算。科学。6919、160--176(2011年;Zbl 1348.68147) 全文: 内政部
克里希南德·查特吉;鲁帕克·马朱姆达尔 欧米伽规则目标的最小注意力控制器综合。 (英语) Zbl 1348.68096号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,145-159(2011)。MSC公司:第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{R.Majumdar},莱克特。注释计算。科学。6919、145--159(2011年;Zbl 1348.68096) 全文: 内政部
迈克尔·本尼迪克特;拉斯季斯拉夫·伦哈特;詹姆斯·沃雷尔 模型检查和游戏中的双变量与线性时序逻辑。 (英语) Zbl 1343.68151号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901497-511(2011)。MSC公司:60年第68季度 03B44号 05年3月 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,Lect。注释计算。科学。6901497--511(2011;Zbl 1343.68151) 全文: 内政部 arXiv公司
布里姆·L。;查洛普卡,J。;Doyen,L。;Gentilini,R。;J.F.拉斯金。 平均游戏的更快算法。 (英语) Zbl 1213.68430号 形式方法系统。设计。 38,第2期,97-118(2011).MSC公司:68兰特 91A43型 65年第68季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《形式方法系统》。设计。38,第2号,97--118(2011;Zbl 1213.68430) 全文: 内政部
范·艾伊克(Jan van Eijck) 社交软件的语言。 (英语) 兹比尔1214.03021 合成 177,补遗1,77-96(2010).MSC公司:03B65号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck},Synthese综合177,77--96(2010;Zbl 1214.03021) 全文: 内政部
迪特马尔·伯旺格;凯撒,乌卡斯 图形游戏中的信息跟踪。 (英语) Zbl 1203.91033号 J.逻辑语言信息。 19,第4期,395-412(2010).MSC公司:91A43型 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{Ł.Kaiser},J.Logic Lang.Inf.19,No.4,395--412(2010;Zbl 1203.91033) 全文: 内政部
奥利弗·弗里德曼;马库斯拿铁;马丁·兰格 基于tableaux和自动机的\(\mathrm{CTL}^{*}\)的决策过程。 (英语) Zbl 1257.03035号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。《人工智能课堂讲稿》,331-345(2010)。MSC公司:03B35型 03B44号 05年3月 第68页第15页 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人,Lect。注释计算。科学。6173、331--345(2010年;Zbl 1257.03035) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 战略逻辑。 (英语) Zbl 1205.68197号 Inf.计算。 208,第6期,677-693(2010).MSC公司:第68季度第45季度 91A05级 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。208,第6号,677--693(2010;Zbl 1205.68197) 全文: 内政部 链接
卢卡·德·阿尔法罗;普里塔姆·罗伊 通过三值抽象求精解决游戏。 (英语) 兹比尔1205.68225 Inf.计算。 208,第6期,666-676(2010).MSC公司:60年第68季度 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{P.Roy},Inf.Comput。208,第6号,666--676(2010;Zbl 1205.68225) 全文: 内政部
彼得·布利切夫;托马斯·查泰恩;亚历山大·戴维;Larsen,Kim G。 用于检查交替计时模拟的高效实时算法。 (英语) Zbl 1262.68105号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,73-87(2009)。MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,Lect。注释计算。科学。5813、73--87(2009年;Zbl 1262.68105) 全文: 内政部
马可·费拉 图上无限对策的可容许策略。 (英语) Zbl 1250.68187号 Královič,Rastislav(编辑)等人,2009年计算机科学数学基础。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,307-318(2009)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella},莱克特。注释计算。科学。5734307--318(2009年;Zbl 1250.68187) 全文: 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 STORMED混合游戏。 (英语) Zbl 1237.91020号 Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,480-484(2009)。MSC公司:91A10号 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人,Lect。注释计算。科学。5469480-484(2009年;Zbl 1237.91020) 全文: 内政部
奎杰珀,沃特;范德波尔(Jaco van de Pol) 计算不完全信息安全博弈的最弱策略。 (英语) Zbl 1234.68259号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550592-106(2009)。MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kuijper}和\textit{J.van de Pol},莱克特。注释计算。科学。5505、92--106(2009年;Zbl 1234.68259) 全文: 内政部
迪特马尔·伯旺格;苏菲·平奇纳特 游戏量化模式。 (英语) Zbl 1209.03031号 Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,116-130(2009)。MSC公司:03C80号 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{S.Pinchinat},莱克特。注释计算。科学。5378、116--130(2009年;Zbl 1209.03031) 全文: 内政部
奥尔纳·库普弗曼;尤德·卢斯蒂格 格子模拟关系和游戏。 (英语) Zbl 1141.68473号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762316-330(2007)。MSC公司:60年第68季度 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{Y.Lustig},莱克特。注释计算。科学。4762316-330(2007年;Zbl 1141.68473) 全文: 内政部
弗兰克·卡塞兹;亚历山大·戴维;Larsen,Kim G。;青柠,迪迪埃;Jean-François拉斯金 基于观察和断续不变策略的时间控制。 (英语) Zbl 1141.68428号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762192-206(2007)。MSC公司:第68季度第45季度 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Lect。注释计算。科学。4762,192--206(2007;Zbl 1141.68428) 全文: 内政部
卢卡·德·阿尔法罗;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼 并发可达性游戏。 (英语) Zbl 1154.91306号 西奥。计算。科学。 386,第3期,188-217(2007).MSC公司:91A05级 91A15型 PDF格式BibTeX公司 XML格式引用 \文本{L.de Alfaro}等人,Theor。计算。科学。386,第3号,188--217(2007;Zbl 1154.91306) 全文: 内政部
徐淑杰;彼得·斯莱特。 图的可竞争性。 (英语) Zbl 1087.05029号 离散数学。 306,第6号,580-590(2006).MSC公司:05C20号 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Seo}和\textit{P.J.Slater},离散数学。306,第6号,580--590(2006;Zbl 1087.05029) 全文: 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹,P。 递归游戏图的模块化策略。 (英语) Zbl 1088.68099号 西奥。计算。科学。 354,第2期,230-249(2006).MSC公司:60年第68季度 91A05级 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。354,编号2,230--249(2006;Zbl 1088.68099) 全文: 内政部 链接
阿扎尔,S。;A.麦克伦南。;雷夫·J·H·。 非合作博弈中的均衡计算。 (英语) Zbl 1121.91006号 计算。数学。申请。 50,编号5-6,823-854(2005).MSC公司:91A10号 91A18号 PDF格式BibTeX公司 XML格式引用 \textit{S.Azhar}等人,计算。数学。申请。50,编号5--6823--854(2005;Zbl 1121.91006) 全文: 内政部
卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 欧米伽规则游戏的定量求解。 (英语) Zbl 1093.91001号 J.计算。系统。科学。 68,第2期,374-397(2004).MSC公司:91A05级 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{R.Majumdar},J.Compute。系统。科学。68,第2号,374--397(2004;Zbl 1093.91001) 全文: 内政部