文件大小：455 kB 12页
谨慎行事
作者
-
部分： 体积： 第34届软件技术与理论计算机科学基础国际会议（FSTTCS 2014）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2014-12-12
文件
文件标识符
引用为 获取BibTex
摘要
关键词
博弈论 合成 安全规范 程序验证
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
Patricia Bouyer、Ulrich Fahrenberg、Kim Guldstrand Larsen、Nicolas Markey和JiríSrba。 无限在能量约束的加权时间自动机中运行。 Franck Cassez和Claude Jard，编辑，格式，计算机科学讲义第5215卷，第33-47页。 施普林格，2008年。 
-
Arindam Chakrabarti、Luca de Alfaro、Thomas A.Henzinger和Mariëlle Stoelinga。 资源接口。 EMSOFT编辑Rajeev Alur和Insup Lee，《计算机科学讲义》第2855卷，第117-133页。 施普林格，2003年。
-
Krishnendu Chatterjee和Laurent Doyen。 能源平价游戏。 西奥。 计算。 科学。， 458:49-60, 2012.
-
托马斯·科尔科姆贝特。 常规成本函数，第一部分：单词的逻辑和代数。 《计算机科学中的逻辑方法》，9（3），2013年。
-
Stefan Dziembowski、Marcin Jurdziñski和Igor Walukiewicz。 要赢得无限的游戏需要多少内存？ 在LICS中，第99-110页。 IEEE计算机学会，1997年。
-
纳塔娜·菲亚尔科夫和弗洛里安·霍恩。 可达性游戏惊人的复杂性。 CoRR，abs/1010.2422010年。
-
纳塔娜·菲亚尔科夫和弗洛里安·霍恩。 《无障碍环境》。 《技术与科学信息》，32（9-10）：931-9492013。
-
雨果·金伯特（Hugo Gimbert）。 Jeux职位。 巴黎大学博士论文，2007年7月。
-
编辑Erich Grädel、Wolfgang Thomas和Thomas Wilke。 《自动化、逻辑和无限游戏：当前研究指南》（Dagstuhl研讨会成果，2001年2月），计算机科学讲义第2500卷。 斯普林格，2002年。
-
埃里克·科普琴斯基。 个人沟通。
-
埃里克·科普琴斯基。 无限对策的半位置确定性。 华沙大学博士论文，2009年。
-
奥纳·库普夫曼。 安全方面的变化。 《计算机科学讲义》第8413卷，TACAS编辑埃里卡·阿布拉姆和克劳斯·哈维隆德，第1-14页。 斯普林格，2014年。