×
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇

并行游戏的均衡设计。 （英语） Zbl 07649930号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第22条，第16页（2019年）。
总结：在博弈论中，机制设计涉及激励机制的设计，以实现博弈的预期结果。在本文中，我们研究激励设计，以获得理想的均衡，例如，满足给定时间逻辑属性的均衡，这是一个我们称之为均衡设计的问题。我们的研究基于一个框架，其中系统规范表示为时序逻辑公式，游戏表示为定量并发游戏结构，玩家的目标表示为平均值目标。特别地，我们考虑了由LTL和GR（1）公式给出的系统规范，并表明，只要存在这样的机制，就可以在PSPACE中实现LTL属性和GR规范。我们还研究了各种相关决策和优化问题的复杂性，如解的最优性和唯一性，并表明所有这些问题的复杂性都位于多项式层次结构中。作为一个应用，平衡设计可以在没有解决方案的情况下，作为具有平均值目标的并发博弈的理性综合和验证问题的替代解决方案，也可以作为一种技术，在可能的情况下以最优的方式修复具有不良理性结果的并发博弈（纳什均衡）。
关于整个系列，请参见[Zbl 1423.68023号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

游戏;时序逻辑;合成;模型检查;纳什均衡

软件：

欧氏瓣心内膜炎
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。140，第22条，第16页（2019年；Zbl 07649930）
全文： 内政部 arXiv公司

参考文献：

[1] Gadi Aleksandrowicz、Hana Chockler、Joseph Y.Halpern和Alexander Ivrii。基于结构因果关系的计算复杂性。J.阿蒂夫。国际研究，58（1）：431-4511917年1月。网址：http://dl.acm.org/citation.cfm？id=3176764.3176775。 ·Zbl 1408.68133号
[2] S.Almagor、G.Avni和O.Kupferman。修复多人游戏。CONCUR，LIPIcs第42卷，第325-339页。Schloss Dagstuhl，2015年。22:15 ·Zbl 1374.68317号
[3] S.Almagor、O.Kupferman和G.Perelli。定量目标博弈中可控纳什均衡的综合。2018年IJCAI第35-41页。
[4] B.Aminof、V.Malvone、A.Murano和S.Rubin，《分级战略逻辑：纳什均衡唯一性的推理》，载于美国农业管理局，第698-706页。ACM，2016年。
[5] R.Bloem、B.Jobstmann、N.Piterman、A.Pnueli和Y.Sa'ar。反应（1）设计的合成。《计算机与系统科学杂志》，78（3）：911-9382012·Zbl 1247.68050号
[6] A.Bohy、V.Bruyère、E.Filiot和J.Raskin。基于平均回报目标的LTL规范的综合。在TACAS中，第169-184页，2013年·Zbl 1381.68149号
[7] U.Boker、K.Chatterjee、T.A.Henzinger和O.Kupferman。具有累积值的时间规格。ACM计算逻辑汇刊，15（4）：27:1-27:252014。doi:10.1145/2629686·Zbl 1354.68169号 ·doi:10.1145/2629686
[8] P.Bouyer、R.Brenguier、N.Markey和M.Ummels。并发确定性博弈中的纯纳什均衡。《计算机科学中的逻辑方法》，11（2），2015年·Zbl 1320.91010号
[9] K.Chatterjee和L.Doyen。能源平价游戏。理论计算机科学，458:49-602012·Zbl 1260.91039号
[10] K.Chatterjee、L.Doyen、T.Henzinger和J.Raskin。广义平均回报与能源博弈。在FSTTCS中，第505-516页，2010年。doi:10.4230/LIPIcs。FSTTCS.2010.505·兹比尔1245.68090 ·doi:10.4230/LIPIcs。FSTTCS.2010.505
[11] K.Chatterjee、T.A.Henzinger和M.Jurdzinski。Mean-Payoff平价游戏。在LICS中，第178-187页。IEEE计算机学会，2005年。
[12] H.Chockler和J.Halpern。责任与指责：结构模型方法。《人工智能研究杂志》，22:93-1152004·Zbl 1080.68680号
[13] 奥尔德里克·德戈尔（Aldric Degorre）、劳伦特·多恩（Laurent Doyen）、拉斐拉·金蒂里尼（Raffaella Gentilini）、珍妮·弗兰索斯·拉斯金（Jean-François Raskin）和西蒙·托恩奇克（Szymon Tor-unczyk）。信息不完善的能量与意义游戏。Anuj Dawar和Helmut Veith，《计算机科学逻辑》编辑，第260-274页，柏林，海德堡，2010年。施普林格柏林海德堡·Zbl 1287.91028号
[14] D.Fisman、O.Kupferman和Y.Lustig。理性综合。在TACAS中，LNCS第6015卷，第190-204页。施普林格，2010年·Zbl 1284.68396号
[15] J.Gutierrez、P.Harrenstein、G.Perelli和M.Wooldridge。纳什均衡和互模拟不变性。CONCUR，LIPIcs第85卷，第17:1-17:16页。Schloss Dagstuhl，2017年·Zbl 1442.68143号
[16] J.Gutierrez、P.Harrenstein和M.Wooldridge。迭代布尔游戏。信息与计算，242:53-792015·Zbl 1318.91012号
[17] J.Gutierrez、P.Harrenstein和M.Wooldridge。从模型检查到平衡检查：理性验证的反应模块。人工智能，248:123-1572017·Zbl 1420.68129号
[18] J.Gutierrez、A.Murano、G.Perelli、S.Rubin和M.Wooldridge。具有词汇偏好的并发博弈中的纳什均衡。在IJCAI中，第1067-1073页，2017年。doi:10.24963/ijcai.2017/148·doi:10.24963/ijcai.2017/148
[19] J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。EVE：时间平衡分析工具。在ATVA，LNCS第11138卷，第551-557页。施普林格，2018年。
[20] J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。理性验证的计算牵引性。2019年，IJCAI。出现。
[21] L.Hurwicz和S.Reiter。设计经济机制。剑桥大学出版社，2006年。
[22] M.Krentel先生。优化问题的复杂性。计算机与系统科学杂志，36（3）：490-5091988。doi:10.1016/0022-0000（88）90039-6·Zbl 0652.68040号 ·doi:10.1016/0022-0000（88）90039-6
[23] O.Kupferman、G.Perelli和M.Y.Vardi。理性环境的综合。数学与人工智能年鉴，78（1）：3-202016·Zbl 1372.68173号
[24] M.Wooldridge和U.Endriss以及S.Kraus和J.Lang。布尔游戏的激励工程。人工智能，195:418-4392013。doi:10.1016/j.artint.2012.11.003·Zbl 1270.68340号 ·doi:10.1016/j.artint.2012.11.003
[25] M.Maschler、E.Solan和S.Zamir。博弈论。剑桥大学出版社，2013年·Zbl 1403.91003号
[26] M.J.Osborne和A.Rubinstein。博弈论课程。麻省理工学院出版社，1994年·Zbl 1194.91003号
[27] C.帕帕迪米特里奥。关于独特解决方案的复杂性。美国医学会杂志，31（2）：392-400，1984。doi:10.1145/62.322435·Zbl 0631.68038号 ·数字对象标识代码：10.1145/62.322435
[28] C.帕帕迪米特里奥。计算复杂性。Addison-Wesley，马萨诸塞州雷丁，1994年·Zbl 0833.68049号
[29] C.Papadimitriou和M.Yannakakis。方面的复杂性（以及一些方面的复杂性）。计算机与系统科学杂志，28（2）：244-2591984·Zbl 0571.68028号
[30] G.佩雷利。在多智能体系统中实现平衡。《第18届自治代理和多代理系统国际会议论文集》，AAMAS’19，第188-196页，2019年。网址：http://dl.acm.org/citation.cfm？id=3306127.3331692。
[31] A.普努利。程序的时间逻辑。在FOCS中，第46-57页。IEEE，1977年。
[32] A.Pnueli和R.Rosner。关于反应模的合成。在POPL中，第179-190页。ACM出版社，1989年。
[33] M.Ummels和D.Wojtczak。极限平均对策中纳什均衡的复杂性。CONCUR，第482-496页，2011年。doi:10.1007/978-3642-23217-6_32·Zbl 1343.68177号 ·doi:10.1007/978-3642-23217-6_32
[34] Y.Velner、K.Chatterjee、L.Doyen、T.Henzinger、A.Rabinovich和J.Raskin。多手段和多能源游戏的复杂性。信息与计算，241:177-1962015·Zbl 1309.68082号
[35] U.Zwick和M.Paterson。图上平均回报游戏的复杂性。理论计算机科学，158（1）：343-3591996。doi:10.1016/0304-3975（95）00188-3·Zbl 0871.68138号 ·doi:10.1016/0304-3975（95）00188-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。