文件大小：0.59 MB 14页
失败下的定量博弈
作者
-
部分内容： 体积： 第35届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-12-14
文件
文件标识符
引用为 获取BibTex
摘要
关键词
定量游戏 验证 合成 博弈论
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Krzysztof R.Apt和Erich Grädel。 计算机科学家的博弈论讲座。 剑桥大学出版社，2011年。 
-
托马斯·布里哈耶、吉莱斯·杰雷茨、阿克塞尔·哈达德、本杰明·蒙梅格、吉列尔莫·A·佩雷斯和加布里埃尔·雷诺。 失败下的定量游戏。 研究报告1504.06744，arXiv，2015年4月。
-
Krishnendu Chatterjee、Laurent Doyen和Thomas A.Henzinger。 定量语言。 ACM事务处理。 计算。 日志。， 11(4), 2010.
-
Krishnendu Chatterjee、Thomas A.Henzinger和Marcin Jurdzinski。 平均回报平价游戏。 在LICS中，第178-187页。 IEEE，2005年。
-
A.Ehrenfeucht和J.Mycielski。 平均回报博弈的位置策略。 国际博弈论杂志，8:109-1131979。
-
亚瑟·戈尔茨坦和爱德华·莱因戈尔德。 图上追踪的复杂性。 西奥。 计算。 科学。， 143(1):93 - 112, 1995.
-
Sten Grüner、Frank G.Radmacher和Wolfgang Thomas。 动态网络上的连接游戏。 西奥。 计算。 科学。， 493:46-65, 2013.
-
马金·尤金斯基。 在平价游戏中决定胜利者的方法是。 信息处理快报，68（3）：119-1241998。
-
理查德·卡普（Richard M.Karp）。 组合问题之间的约简性。 《计算机计算复杂性研讨会论文集》，第85-1031972页。
-
多米尼克·克莱恩（Dominik Klein）、弗兰克·G·拉德马赫（Frank G.Radmacher）和沃尔夫冈·托马斯（Wolfgang Thomas）。 随机故障下的网络移动：复杂性分析。 计算机科学。 掠夺。， 77(7-8):940-954, 2012.
-
莉娜·玛丽亚·库赞（Lena Maria Kurzen）。 交互的复杂性。 逻辑、语言和计算研究所博士论文，2011年。
-
克里斯托夫·洛丁和菲利普·罗德。 解决破坏游戏是PSPACE-困难的。 在MFCS中，LNCS第2747卷，第531-540页。 斯普林格，2003年。
-
唐纳德·马丁。 Borel确定性。 数学年鉴，102（2）：363-3711975。
-
Merlijn Sevenster。 不完全信息的分支：逻辑、游戏和计算。 逻辑、语言和计算研究所博士论文，2006年。
-
Larry J.Stockmeyer和Ashok K.Chandra。 难以想象的组合游戏。 SIAM J.计算。， 8(2):151-174, 1979.
-
约翰·范·本特姆（Johan van Benthem）。 一篇关于破坏和阻挠的文章。 《机械化数学推理》，LNAI第2605卷，第268-276页。 斯普林格，2005年。
-
山下正美和铃木一郎。 描述可由不经意的匿名移动机器人形成的几何图案的特征。 西奥。 计算。 科学。， 411(26-28):2433-2453, 2010.
-
乌里·兹威克（Uri Zwick）和迈克尔·帕特森（Michael S.Paterson）。 平均回报游戏的复杂性。 西奥。 计算。 科学。， 158:343-359, 1996.