文件大小：0.5 MB 14页
定量图对策中的可容许性
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
定量博弈 验证 反应合成 可受理性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
Brandenburger Adam、Friedenberg Amanda、H Jerome等。游戏中的可接纳性。 《计量经济学》，2008年。 
-
迪特马尔·伯旺格。 无限博弈中的可容许性。 在STACS中，LNCS第4393卷，第188-199页。 施普林格，2007年2月。
-
乌迪·博克（Udi Boker）、克里希南德·查特吉（Krishnendu Chatterjee）、托马斯·汉津格（Thomas A.Henzinger）和奥尔娜·库普夫曼（Orna Kupferman）。 具有累积值的时间规范。 ACM事务处理。 计算。 逻辑，15（4）：27:1-27:252014年7月。 网址： http://dx.doi.org/10.1145/2629686 . -
罗曼·布伦吉尔（Romain Brenguier）、珍妮·弗兰索瓦·拉斯金（Jean-François Raskin）和奥坎·桑库尔（Ocan Sankur）。 假设允许合成。 在Luca Aceto和David de Frutos-Escrig，CONCUR编辑，LIPIcs第42卷，第100-113页。 达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。 网址： http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.100 . -
罗曼·布伦吉尔（Romain Brenguier）、吉安·弗兰索瓦·拉斯金（Jean-François Raskin）和马修·萨索拉斯（Mathieu Sassolas）。 欧米伽规则游戏中可容许性的复杂性。 2014年，CSL-LICS。 ACM，2014年。 网址： http://dx.doi.org/10.1145/2603088.2603143 . -
Krishnendu Chatterjee、Laurent Doyen、Emmanuel Filiot和Jean-François Raskin。 欧米茄规则游戏的末日平衡。 VMCAI’14，第8318卷，第78-97页。 斯普林格，2014年。
-
Krishnendu Chatterjee、Laurent Doyen和Thomas A.Henzinger。 定量语言。 ACM计算逻辑学报，11（4），2010年。 网址： http://dx.doi.org/10.1145/1805950.1805953 . -
Krishnendu Chatterjee、Thomas A.Henzinger和Marcin Jurdzinánski。 平均回报平价游戏。 在LICS中，第178-187页。 IEEE计算机学会，2005年。 网址： http://dx.doi.org/10.109/LICS.2005.26 . -
克里希南德·查特吉（Krishnendu Chatterjee）、托马斯·A·亨廷格（Thomas A Henzinger）和马金·尤尔金斯基（Marcin Jurdzinánski）。 具有安全平衡的游戏。理论计算机科学，365（1）：67-822006。
-
克里希南德·查特吉（Krishnendu Chatterjee）、米凯尔·兰杜尔（Mickael Randour）和珍妮·弗兰索瓦·拉斯金（Jean-François Raskin）。 多维度量化目标的战略综合。 《学报》，51（3-4）：129-1632014年。 网址： http://dx.doi.org/10.1007/s00236-013-0182-6 . -
马可·费拉（Marco Faella）。 图上无限对策的可容许策略。 在MFCS 2009中，计算机科学讲义第5734卷，第307-318页。 施普林格，2009年。
-
达娜·菲斯曼（Dana Fisman）、奥尔娜·库普弗曼（Orna Kupferman）和尤亚德·卢斯蒂格（Yoad Lustig）。 理性综合。 在TACAS’10，LNCS第6015卷，第190-204页。 施普林格，2010年。
-
R.J.格雷特琳。 有限选择对策上的优势消除过程。 国际博弈论杂志，12（2）：107-1131983。 网址： http://dx.doi.org/10.1007/BF01774300 . -
O.Kupferman、G.Perelli和M.Y.Vardi。 合理环境的合成。 程序中。 第十二届欧洲多智能体系统会议，LNCS。 斯普林格，2014年。
-
阿米尔·普努埃利和罗尼·罗斯纳。 关于反应模的合成。 在POPL中，第179-190页，1989年。 网址： http://dx.doi.org/10.1145/75277.75293 . -
沃尔夫冈·托马斯。 关于无限对策中策略的综合。 在STACS中，第1-131995页。 网址： http://dx.doi.org/10.1007/3-540-59042-0_57 . -
亚伦·维纳（Yaron Velner）。 稳健的多维平均对赌游戏是不可判定的。 Andrew M.Pitts，FoSSaCS编辑，LNCS第9034卷，第312-327页。 斯普林格，2015年。 网址： http://dx.doi.org/10.1007/978-3-662-46678-0_20 . -
乌里·兹威克（Uri Zwick）和迈克·帕特森（Mike Paterson）。 图上平均收益博弈的复杂性。 TCS，158（1）：343-3591996。