文件大小：0.5 MB 14页
提示延迟
作者
-
部分内容： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
无限游戏 延迟游戏 提示-LTL 长期贷款
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
拉杰夫·阿鲁尔（Rajeev Alur）、库沙·埃特萨米（Kousha Etessami）、萨尔瓦多·拉托雷（Salvatore La Torre）和多伦·贝利德（Doron Peled）。 “模型测量”的参数时序逻辑。 ACM事务处理。 计算。 日志。， 2(3):388-407, 2001. 
-
拉杰夫·阿鲁尔（Rajeev Alur）和萨尔瓦托雷·拉托雷（Salvatore La Torre）。 LTL碎片的确定性生成器和游戏。 ACM事务处理。 计算。 日志。， 5(1):1-25, 2004.
-
米科·阿杰·博扬奇克。 限定量词。 Jerzy Marcinkowski和Andrzej Tarlecki，编辑，CSL 2004，LNCS第3210卷，第41-55页。 斯普林格，2004年。
-
吕迪格·埃勒斯。 符号有界合成。 形式.方法。 系统。 设计。， 40(2):232-262, 2012.
-
E.艾伦·爱默生（E.Allen Emerson）和查兰吉特·朱特拉（Charanjit S.Jutla）。 树自动机、微积分和确定性（扩展抽象）。 《1991年FOCS》，第368-377页。 IEEE，1991年。
-
彼得·费蒙维尔和马丁·齐默尔曼。 参数线性动态逻辑。 阿德里亚诺·佩隆（Adriano Peron）和卡拉·皮亚扎（Carla Piazza）主编，《甘道夫》（GandALF）2014年，EPTCS第161卷，第60-73页，2014年。
-
Emmanuel Filiot、Naiyong Jin和Jean-François Raskin。 LTL合成的反链和合成算法。 形式.方法。 系统。 设计。， 39(3):261-296, 2011.
-
Bernd Finkbeiner和Sven Schewe。 有限合成。 STTT，15（5-6）：519-5392013年。
-
瓦拉迪米尔·弗里德曼（Wladimir Fridman）、克里斯托夫·洛丁（Christof Löding）和马丁·齐默尔曼（Martin Zimmermann）。 无上下文无限游戏中的前瞻度。 Marc Bezem，CSL 2011编辑，LIPIcs第12卷，第264-276页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2011年。
-
保罗·加斯丁和丹尼斯·奥杜克斯。 快速LTL到Büchi自动机的转换。 在盖拉德·贝里（Gérard Berry）、休伯特·科蒙（Hubert Comon）和阿兰·芬克尔（Alain Finkel）的著作中，CAV 2001，LNCS第2102卷，第53-65页。 斯普林格，2001年。
-
编辑Erich Grädel、Wolfgang Thomas和Thomas Wilke。 自动机、逻辑和无限游戏：当前研究指南，LNCS第2500卷。 斯普林格，2002年。
-
迈克尔·霍尔特曼（Michael Holtmann）、尤卡斯·凯泽（ukasz Kaiser）和沃尔夫冈·托马斯（Wolfgang Thomas）。 常规无限游戏中的前瞻度。 LMCS，8（3），2012年。
-
Florian Horn、Wolfgang Thomas、Nico Wallmeier和Martin Zimmermann。 请求响应游戏的最优策略综合。 RAIRO-理论。 信息和应用。， 49(3):179-203, 2015.
-
弗雷德里克·霍施和劳伦斯·H·兰德韦伯。 序列条件的有限延迟解。 1972年ICALP，第45-60页，1972年。
-
费利克斯·克莱恩（Felix Klein）和马丁·齐默尔曼（Martin Zimmermann）。 延迟游戏中的策略是什么？ 前瞻游戏的Borel确定性。 Stephan Kreutzer，CSL 2015编辑，LIPIcs第41卷，第519-533页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2015年。
-
费利克斯·克莱恩（Felix Klein）和马丁·齐默尔曼（Martin Zimmermann）。 要赢得无限的比赛需要多少前瞻性？ LMCS，12（3），2016年。
-
费利克斯·克莱恩（Felix Klein）和马丁·齐默尔曼（Martin Zimmermann）。 立即延迟。 arXiv，1602.050452016年。
-
Orna Kupferman、Nir Piterman和Moshe Y.Vardi。 从生动到迅速。 形式.方法。 系统。 设计。， 34(2):83-103, 2009.
-
Orna Kupferman和Moshe Y.Vardi。 不安全的决策程序。 在FOCS 2005中，第531-542页。 IEEE计算机学会，2005年。
-
安德烈·莫斯托夫斯基（Andrzej Mostowski）。 带有禁止位置的游戏。 技术报告78，哥丹斯克大学，1991年。
-
阿米尔·普努利。 程序的时序逻辑。 FOCS 1977，第46-57页。 IEEE，1977年。
-
阿米尔·普努埃利和罗尼·罗斯纳。 关于反应模的合成。 POPL 1989，第179-190页。 ACM出版社，1989年。
-
阿米尔·普努埃利和罗尼·罗斯纳。 关于异步反应模块的综合。 Giorgio Ausiello、Mariangiola Dezani-Ciancaglini和Simona Ronchi Della Rocca，编辑，ICALP 1989，LNCS第372卷，652-671页。 施普林格，1989年。
-
斯文·舍韦（Sven Schewe）。 确定Büchi自动机的更严格界限。 Luca de Alfaro，编辑，FOSSACS 2009，LNCS第5504卷，第167-181页。 施普林格，2009年。
-
马丁·齐默尔曼。 参数LTL博弈中的最优边界。 西奥。 计算。 科学。， 493:30-45, 2013.
-
马丁·齐默尔曼。 参数化线性时序逻辑满足成本：仍然不比LTL更昂贵。 哈维尔·埃斯帕尔扎（Javier Esparza）和恩里科·特隆西（Enrico Tronci）主编，《甘道夫2015》，EPTCS第193卷，第144-157页，2015年。
-
马丁·齐默尔曼。 在WMSO+U获胜条件下延迟游戏。 RAIRO-理论。 信息和应用。， 2016年。出庭。