×
托马斯·布里海耶;维罗尼克·布鲁埃;朱莉·德普里尔

具有可达性/安全性目标的定量博弈中的均衡。 （英语） Zbl 1380.91031号

理论计算。系统。 54，第2期，150-189（2014）.
摘要：本文研究了以可达性为目标的有限图上的基于圈的多人定量非零和博弈。在这个框架下，每个球员的目标都是尽快达到自己的目标。我们主要研究两个解概念的存在性结果：纳什均衡和安全均衡。我们证明了有限记忆Nash（resp.secure）均衡在（n）-玩家（resp.2-player）博弈中的存在性。对于纳什均衡的情况，我们在两个方向上推广了我们的结果。首先，我们证明了当模型通过允许边上的正成本元组（每个玩家一个成本）而丰富时，有限记忆纳什均衡仍然存在。其次，我们证明了具有可达性和安全性目标的定量博弈中纳什均衡的存在性。

引用于2文件

MSC公司：

91A43型 涉及图形的游戏

关键词：

基于回合的量化游戏;纳什均衡;安全平衡;可达性/安全目标
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，理论计算。系统。54，第2号，150--189（2014；Zbl 1380.91031）
全文： 内政部 arXiv公司

参考文献：

[1] 阿鲁尔（Alur，R.）。；卡纳德，A。；Weiss，G.，《优先需求的排序自动机和游戏》，第5123240-253号（2008年），柏林·兹比尔1155.68414
[2] 布隆，R。；查特吉，K。；Henzinger，T。；Jobstmann，B.，《通过定量目标提高合成质量》，第5643号，第140-156页（2009年），柏林·Zbl 1242.68151号 ·doi:10.1007/978-3-642-02658-4_14
[3] Boros，E.，Gurvich，V.：为什么国际象棋和反棋可以用纯位置一致最优策略来解决。Rutcor研究报告21-2009，罗格斯大学，（2009）
[4] Brihaye，T。；布鲁埃，V。；普林，J。；Ablayev，F.M.（编辑）；Mayr，E.W.（编辑），定量可达性博弈中的均衡，第6072、72-83号（2010），柏林·Zbl 1285.91023号
[5] Brihaye，T.，Bruyère，V.，De Pril，J.：关于定量可达性游戏中的子游戏完美性。日志。方法计算。科学。9(1) (2012) ·Zbl 1352.68146号
[6] Chatterjee，K.，Henzinger，T.，Jurdziánski，M.：安全均衡博弈。Theor。计算。科学。365(1-2), 67-82 (2006) ·Zbl 1108.91007号 ·doi:10.1016/j.tcs.2006.07.032
[7] 查特吉，K。；Henzinger，T.A.，《金融界在欧米茄常规赛中获胜》，第3920号，第257-271页（2006年），柏林·Zbl 1180.68171号
[8] 查特吉，K。；马朱姆达尔，R。；Jurdzinski，M。；Marcinkowski，J.（编辑）；Tarlecki，A.（编辑），《随机博弈中的纳什均衡》，第3210期，第26-40页（2004年），柏林·Zbl 1095.91001号
[9] Clarke，E.，Grumberg，O.，Peled，D.：模型检查。麻省理工学院出版社，剑桥（2000）·Zbl 0847.68063号
[10] Grädel，E.，Thomas，W.，Wilke，T.：自动机、逻辑和无限游戏。计算机科学课堂讲稿。，第2500卷。柏林施普林格出版社（2002年）·Zbl 1011.00037号 ·doi:10.1007/3-540-36387-4
[11] Grädel，大肠杆菌。；乌梅尔斯，M。；Apt，K.（编辑）；Rooij，R.（编辑），无限多人游戏的解决方案概念和算法，第4期，151-178（2008），阿姆斯特丹·Zbl 1377.91014号
[12] 霍普克罗夫特，J.E.，乌尔曼，J.D.：自动机理论、语言和计算导论。Addison-Wesley计算机科学系列。Addison-Wesley，雷丁（1979）·Zbl 0426.68001号
[13] 喇叭，F。；托马斯·W·。；Wallmeier，N.，《请求响应游戏中的最优策略综合》，第5311期，第361-373页（2008），柏林·Zbl 1183.68340号
[14] Kuhn，H.，《广泛游戏与信息问题》，46-68（1953）·Zbl 0050.14303号
[15] Martin，D.：Borel确定性。安。数学。102(2), 363-371 (1975) ·Zbl 0336.02049号 ·doi:10.2307/1971035
[16] 纳什，J.：n人博弈中的平衡点。程序。国家。阿卡德。科学。美国36（1），48-49（1950）·Zbl 0036.01104号 ·doi:10.1073/pnas.36.1.48
[17] Osborne，M.，Rubinstein，A.：博弈论课程。麻省理工学院出版社，剑桥（1994）·Zbl 1194.91003号
[18] Thomas，W.，《论无限游戏中的策略综合》，慕尼黑，1995年，柏林·Zbl 1379.68233号 ·doi:10.1007/3-540-59042-0_57
[19] Zimmermann，M.，《偏序集游戏的时间最优获胜策略》，第5642、217-226号（2009），柏林·Zbl 1248.91024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。