研究论文

Stackelberg-Pareto合成

作者:

维罗尼克布鲁耶尔,

巴普蒂斯特菲费特,

Jean-François女士拉斯金,

Clément公司塔米纳河作者信息和声明

ACM计算逻辑事务,体积25,问题2

文章编号：14页1-49

https://doi.org/10.1145/3651162

出版:2024年4月16日出版历史

获取访问权限

摘要

我们研究了在图上玩的两层Stackelberg游戏的框架，其中玩家0宣布一个策略，玩家1以最优响应的策略进行理性响应。虽然通常假设球员1只有一个目标，但我们在这里考虑的是他有几个目标的新环境。在这种情况下，在用他的策略做出响应后，玩家1会得到一个与他满意的目标相对应的布尔向量形式的回报。球员1的合理性取决于这样一个事实，即考虑到球员0的策略，他的反应必须产生帕累托最优回报。我们研究了几种ω-正则目标的Stackelberg Pareto综合问题，该问题询问玩家0是否可以宣布满足其目标的策略，无论玩家1的理性反应如何。我们证明，对于目标都是可达性、安全性、Büchi、co-Büchi、布尔Büchi、奇偶性、Muller、Streett或Rabin目标的博弈，这个问题是固定参数可处理的。我们还表明，这个问题是NEXPTIME公司-完成，但对于Büchi目标的情况除外NP公司-完成其所在的共同Büchi目标NEXPTIME公司和NP公司-很难。问题已经出现了NP公司-在可达性目标和图是树的简单情况下完成。

工具书类

[1]

Mrudula Balachander、Shibashis Guha和Jean-François Raskin。2021.平均对战stackelberg游戏的脆弱性和健壮性。在第32届并行理论国际会议论文集，CONCUR 2021，2021年8月24日至27日，虚拟会议。谢尔盖·哈达德（Serge Haddad）和丹尼尔·瓦拉卡（Daniele Varacca）（编辑），LIPIcs，第203卷，达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz Zentrum für Informatik），9:1–9:17。内政部：

[2]

弗朗西斯科·贝拉迪内利（Francesco Belardinelli）、沃伊西奇·贾姆罗加（Wojciech Jamroga）、达米安·库皮耶夫斯基（Damian Kurpiewski）、瓦迪姆·马尔文（Vadim Malvone）和阿尼埃洛·穆拉诺。2019.具有简单目标的战略逻辑：关于战略的可追溯推理。在2019年第24届国际人工智能联合会议记录，2019年8月10日至16日，中国澳门Sarit Kraus（编辑），ijcai.org，88–94。内政部：

[3]

迪特马尔·伯旺格。2007.无限游戏中的可接纳性。在2007年2月22日至24日，德国亚琛，STACS 2007，第24届计算机科学理论方面年度研讨会，会议记录。沃尔夫冈·托马斯（Wolfgang Thomas）和帕斯卡·韦尔（Pascal Weil）（编辑），《计算机科学讲义》，第4393卷，斯普林格出版社，188-199年。内政部：

[4]

罗德里克·布洛姆（Roderick Bloem）、克里希南德·查特吉（Krishnendu Chatterjee）和芭芭拉·乔布斯曼（Barbara Jobstmann）。2018年。图形游戏和反应合成。在模型检查手册会议记录Edmund M.Clarke、Thomas A.Henzinger、Helmut Veith和Roderick Bloem（编辑），施普林格，921–962。内政部：

[5]

Patricia Bouyer、Romain Brenguier、Nicolas Markey和Michael Ummels。2015.并发确定性博弈中的纯纳什均衡。计算机科学中的逻辑方法11, 2 (2015).内政部：

[6]

罗曼·布伦吉耶、洛伦佐·克莱门特、保罗·亨特、吉列尔莫·A·佩雷斯、米凯尔·兰德尔、吉安·弗兰索瓦·拉斯金、奥坎·桑库尔和马修·萨索拉斯。2016年。反应合成的非零和游戏。在语言与自动化理论与应用——第十届国际会议，2016年3月14日至18日，捷克布拉格，LATA 2016，会议记录。Adrian-Horia Dediu、Jan Janousek、Carlos Martín-Vide和Bianca Truthe（编辑）。计算机科学讲义，第9618卷，施普林格出版社，3–23页。内政部：

[7]

罗曼·布伦吉尔（Romain Brenguier）、珍妮·弗兰索瓦·拉斯金（Jean-François Raskin）和奥坎·桑库尔（Ocan Sankur）。2015.假设允许合成。在《第26届并行理论国际会议论文集》，CONCUR 2015，西班牙马德里，2015年9月1.4日。Luca Aceto和David de Frutos-Escrig（编辑），LIPIcs，第42卷，Dagstuhl-Leibniz-Zentrum für Informatik，100-113。内政部：

[8]

Léonard Brice、Jean-François Raskin和Marie van den Bogaard。2021.平均对赌游戏中的亚游戏完美均衡。在第32届并行理论国际会议论文集，CONCUR 2021，2021年8月24日至27日，虚拟会议。谢尔盖·哈达德（Serge Haddad）和丹尼尔·瓦拉卡（Daniele Varacca）（编辑），LIPIcs，第203卷，达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz Zentrum für Informatik），8:1–8:17。内政部：

[9]

莱昂纳德·布里斯（Léonard Brice）、珍妮·弗朗索瓦·拉斯金（Jean-François Raskin）和玛丽·范登·博加德（Marie van den Bogaard）。图游戏中纳什和亚游戏完美均衡的理性验证。在第48届计算机科学数学基础国际研讨会论文集，MFCS 2023，2023年8月28日至9月1日，法国波尔多。Jéróme Leroux、Sylvain Lombardy和David Peleg（编辑），《LIPIcs》，第272卷，达格斯图尔-莱布尼茨-泽特鲁姆宫，26:1–26:15。内政部：

[10]

托马斯·布里海耶、维罗妮克·布鲁耶尔、艾琳·戈敏、珍妮·弗朗索瓦·拉斯金和玛丽·范登·博加德。2020年。定量可达性博弈中子博弈完美均衡的复杂性。计算机科学中的逻辑方法16, 4 (2020). 检索自https://lmcs.episciences.org/6883

[11]

托马斯·布里海耶、维罗尼克·布鲁耶尔和加斯帕德·雷根。2023.定量可达性stackelberg-pareto合成完成NEXPTIME。在可达性问题——第17届国际会议，RP 2023，法国尼斯，2023年10月11-13日，会议记录。Olivier Bournez、Enrico Formenti和Igor Potapov（编辑），《计算机科学讲义》，第14235卷，Springer，70-84页。内政部：

数字图书馆

[12]

维罗尼克·布鲁耶尔。2017.计算机辅助合成：游戏理论方法。在语言理论的发展——第21届国际会议，DLT 2017，比利时利日，2017年8月7-11日，会议记录。埃米利·查利尔、朱利安·勒罗伊和米歇尔·里戈（编辑），《计算机科学讲义》，第10396卷，斯普林格出版社，第3-35页。内政部：

[13]

维罗尼克·布鲁耶尔。图上无限长博弈均衡的合成。ACM SIGLOG新闻8, 2 (2021), 4–29.内政部：

数字图书馆

[14]

Véronique Bruyère、Quentin Hautem和Jean-François Raskin。2016年，关于异质多维游戏的复杂性。在第27届并行理论国际会议记录，2016年8月23日至26日，加拿大魁北克市CONCUR。Josée Desharnais和Radha Jagadeesan（编辑），LIPIcs，第59卷，Dagstuhl-Leibniz-Zentrum für Informatik宫，11:1-11:15。内政部：

[15]

Véronique Bruyère、Quentin Hautem和Jean-François Raskin。2018.具有单调有序欧米伽规则目标的游戏的参数化复杂性。在第29届并发理论国际会议论文集，2018年9月4日至7日，中国北京。Sven Schewe和Lijun Zhang（编辑），LIPIcs，第118卷，Dagstuhl-Leibniz Zentrum für Informatik宫，29:1–29:16。内政部：

[16]

维罗妮克·布鲁耶尔（Véronique Bruyère）、珍妮·弗兰索瓦·拉斯金（Jean-François Raskin）和克莱门特·塔米内斯（Clément Tamines）。2021.Stackelberg-pareto合成。在第32届并行理论国际会议论文集，CONCUR 2021，2021年8月24日至27日，虚拟会议。谢尔盖·哈达德（Serge Haddad）和丹尼尔·瓦拉卡（Daniele Varacca）（编辑），LIPIcs，第203卷，达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz Zentrum für Informatik），27:1–27:17。内政部：

[17]

克里斯蒂安·卡鲁德（Cristian S.Calude）、桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、魏莉（Wei Li）和弗兰克·斯蒂芬（Frank Stephan）。2020年，在准多项式时间内决定平价博弈。SIAM计算机杂志0（2020），STOC17–152–STOC17–188。内政部：

数字图书馆

[18]

克里希南德·查特吉（Krishnendu Chatterjee）和莫妮卡·亨廷格（Monika Henzinger）。2014.交替Büchi游戏和最大终成分分解的高效动态算法。美国医学会杂志61, 3 (2014), 15:1–15:40.内政部：

数字图书馆

[19]

Krishnendu Chatterjee和Thomas A.Henzinger。2007.假设-担保综合。在《用于系统构建和分析的工具和算法》，第13届国际会议，TACAS 2007，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2007，布拉加，葡萄牙，2007年3月24日至4月1日，会议记录。Orna Grumberg和Michael Huth（编辑），《计算机科学讲义》，第4424卷，斯普林格出版社，261-275页。内政部：

[20]

Krishnendu Chatterjee、Thomas A.Henzinger和Marcin Jurdzinski。2006年，具有安全平衡的游戏。理论计算机科学365, 1–2 (2006), 67–82.内政部：

数字图书馆

[21]

Krishnendu Chatterjee、Thomas A.Henzinger和Nir Piterman。2010年，战略逻辑。信息与计算208, 6 (2010), 677–693.内政部：

数字图书馆

[22]

Rodica Condurache、Emmanuel Filiot、Raffaella Gentilini和Jean-François Raskin。2016.理性合成的复杂性。在2016年7月11日至15日在意大利罗马举行的第43届国际自动化、语言和编程学术讨论会，ICALP 2016。Ioannis Chatzigiannakis、Michael Mitzenmacher、Yuval Rabani和Davide Sangiorgi（编辑），LIPIcs，第55卷，达格斯图尔-莱布尼兹·泽特鲁姆宫，121:1–121:15。内政部：

[23]

Bireswar Das、Patrick Scharpfenecker和Jacobo Torán。2017.CNF和DNF简洁的图形编码。信息与计算253，第3部分（2017年），436–447。内政部：

[24]

R.G.Downey和M.R.Fellows。2012参数化复杂性纽约施普林格。97022882检索自https://books.google.be/books？id=HyTjBwAAQBAJ

[25]

Stefan Dziembowski、Marcin Jurdzinski和Igor Walukiewicz。1997.要赢得无限次的比赛需要多少内存？。在1997年6月29日至7月2日，波兰华沙，第12届IEEE计算机科学逻辑年度研讨会论文集IEEE计算机学会，99–110。内政部：

[26]

E.艾伦·爱默生（E.Allen Emerson）和查兰吉特·朱特拉（Charanjit S.Jutla）。1991.树自动机、微积分和确定性（扩展抽象）。在第32届计算机科学基础年度研讨会会议记录，1991年10月1日至4日，波多黎各圣胡安IEEE计算机学会，368–377。内政部：

数字图书馆

[27]

Emmanuel Filiot、Raffaella Gentilini和Jean-François Raskin。2020年。量化游戏中的对手斯塔克伯格价值。在第47届自动机、语言和程序设计国际学术讨论会论文集，ICALP 2020，2020年7月8日至11日，德国萨尔布吕肯。Artur Czumaj、Anuj Dawar和Emanuela Merelli（编辑），LIPIcs，第168卷，Dagstuhl-Leibniz Zentrum für Informatik学校，127:1–127:18。内政部：

[28]

达娜·菲斯曼（Dana Fisman）、奥尔娜·库普弗曼（Orna Kupferman）和尤亚德·卢斯蒂格（Yoad Lustig）。2010年，理性综合。在2010年3月20日至28日，作为欧洲软件理论与实践联合会议的一部分，于塞浦路斯帕福斯举行的2010年TACAS第16届国际会议《系统构建与分析的工具和算法》（Tools and Algorithms for the Construction and Analysis of Systems）。诉讼程序。哈维尔·埃斯帕尔扎（Javier Esparza）和鲁帕克·马朱姆达尔（Rupak Majumdar）（编辑），《计算机科学讲义》，第6015卷，斯普林格出版社，190-204页。内政部：

数字图书馆

[29]

Erich Grädel、Wolfgang Thomas和Thomas Wilke（编辑）。2002自动机、逻辑和无限游戏：当前研究指南【Dagstuhl研讨会成果，2001年2月】《计算机科学讲义》，第2500卷，施普林格出版社。内政部：

[30]

Anshul Gupta和Sven Schewe。2014.合理环境下的定量验证。在《第21届时间表征与推理国际研讨会论文集》，《时代周刊》2014年9月8日至10日，意大利维罗纳。Amedeo Cesta、Carlo Combi和François Laroussinie（编辑），IEEE计算机学会，第123–131页。内政部：

[31]

Anshul Gupta、Sven Schewe和Dominik Wojtczak。2015年，在多层折扣和游戏中充分利用有限的内存。在2015年9月21日至22日在意大利热那亚举行的第六届奥运会、自动化、逻辑和形式验证国际研讨会会议记录。哈维尔·埃斯帕尔扎（Javier Esparza）和恩里科·特隆西（Enrico Tronci）（编辑），EPTCS，第193卷，第16–30页。内政部：

[32]

朱利安·古铁雷斯、穆罕默德·纳吉布、朱塞佩·佩雷利和迈克尔·伍尔德里奇。2019.关于合理验证的计算可处理性。在第28届国际人工智能联合会议记录，2019年8月10日至16日，中国澳门。Sarit Kraus（编辑），ijcai.org，329–335。内政部：

[33]

朱利安·古铁雷斯、穆罕默德·纳吉布、朱塞佩·佩雷利和迈克尔·伍尔德里奇。2020年。自动时间均衡分析：验证和合成多层游戏。人工智能287 (2020), 103353.内政部：

[34]

弗洛里安·霍恩。2008年。显式muller游戏是PTIME。在IARCS软件技术和理论计算机科学基础年会，FSTTCS 2008，2008年12月9日至11日，印度班加罗尔。Ramesh Hariharan、Madhavan Mukund和V.Vinay（编辑），LIPIcs，第2卷，达格斯图尔-莱布尼茨-泽特鲁姆宫，235-243。内政部：

[35]

理查德·卡普（Richard M.Karp）。组合问题中的可约简性。在1972年3月20日至22日在美国纽约约克敦高地IBM Thomas J.Watson研究中心举行的计算机计算复杂性研讨会论文集（IBM研究研讨会系列）Raymond E.Miller和James W.Thatcher（编辑），Plenum出版社，纽约，85-103。内政部：

[36]

奥纳·库普夫曼。2018.自动化理论和模型检查。在模型检查手册会议记录。Edmund M.Clarke、Thomas A.Henzinger、Helmut Veith和Roderick Bloem（编辑）、Springer，第107–151页。内政部：

[37]

奥纳·库普夫曼、朱塞佩·佩雷利和莫舍·瓦尔迪。2016年，合理环境综合。数学与人工智能年鉴78, 1 (2016), 3–20.内政部：

数字图书馆

[38]

奥纳·库普夫曼和诺姆·申瓦尔德。2022.LTL有理综合的复杂性。在系统构建和分析的工具和算法——第28届国际会议，TACAS 2022，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2022，德国慕尼黑，2022年4月2日至7日，会议记录，第一部分。Dana Fisman和Grigore Rosu（编辑），《计算机科学讲义》，第13243卷，斯普林格出版社，25-45页。内政部：

数字图书馆

[39]

法比奥·莫加维罗（Fabio Mogavero）、阿尼埃洛·穆拉诺（Aniello Murano）、朱塞佩·佩雷利（Giuseppe Perelli）和莫舍·瓦尔迪（Moshe Y.Vardi）。2014.战略推理：关于模型选择问题。ACM计算逻辑事务15, 4 (2014), 34:1–34:47.内政部：

数字图书馆

[40]

约翰·纳什。1950.平衡点n个-个人游戏。在美国国家科学院院刊美国国家科学院，48-49。

[41]

阿米尔·普努埃利和罗尼·罗斯纳。1989年，关于反应模块的合成。在1989年1月11日至13日在美国德克萨斯州奥斯汀举行的第16届美国计算机学会编程语言原理年会会议记录ACM，179-190年。内政部：

数字图书馆

[42]

Florian Renkin、Alexandre Duret-Lutz和Adrien Pommellet。2020年，emerson-lei自动机的实际“平价化”。在验证和分析自动化技术——第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020，会议记录。Dang Van Hung和Oleg Sokolsky（编辑），计算机科学讲义，第12302卷，Springer，127-143。内政部：

数字图书馆

[43]

莱因哈德·塞尔滕（Reinhard Selten）。1965.Spieltheoretische Behandung eines寡聚模型mit Nachfrageträgheit。Zeitschrift für die gesamte Staatswissenschaft公司121（1965），第2期，301-324和第4期，667-689。

[44]

克里斯托弗·乌曼斯。1999.近似硬度\（西格玛_2^p\）最小化问题。在1999年10月17日至18日在美国纽约州纽约市举行的第40届计算机科学基础年度研讨会论文集IEEE计算机学会，465–474。内政部：

[45]

迈克尔·乌默尔斯（Michael Ummels）。2006年。无限多人游戏中的理性行为和策略构建。在FSTTCS 2006：软件技术和理论计算机科学基础，第26届国际会议，印度加尔各答，2006年12月13-15日，会议记录。S.Arun-Kumar和Naveen Garg（编辑），《计算机科学讲义》，第4337卷，施普林格出版社，212-223页。内政部：

数字图书馆

[46]

迈克尔·乌默尔斯（Michael Ummels）。2008年。无限多人游戏中纳什均衡的复杂性。在软件科学和计算结构基础，第11届国际会议，FOSSACS 2008，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2008，匈牙利布达佩斯，2008年3月29日至4月6日。诉讼程序。Roberto M.Amadio（编辑），《计算机科学讲义》，第4962卷，施普林格出版社，20-34页。内政部：

[47]

Michael Ummels和Dominik Wojtczak。2011.极限平均博弈中纳什均衡的复杂性。在CONCUR 2011——并发理论——第22届国际会议，CONCUR，2011年9月6日至9日，德国亚琛。诉讼程序。Joost-Pieter Katoen和Barbara König（编辑），计算机科学讲义，第6901卷，Springer，482-496。内政部：

[48]

海因里希·弗雷赫尔·冯·斯塔克伯格（Heinrich Freiherr von Stackelberg），1937年。Marktform und Gleichgewicht公司Wien und Berlin，J.Springer，马萨诸塞州剑桥市。

索引术语

Stackelberg-Pareto合成
1. 软件及其工程
  1. 软件组织和属性
    1. 软件功能属性
      1. 形式化方法
2. 计算理论
  1. 逻辑
    1. 逻辑和验证
  2. 应用领域的理论和算法
    1. 算法博弈理论与机制设计
      1. 博弈论中的解决方案概念

建议

定量可达性Stackelberg-Pareto合成NEXPTIME完整
可达性问题
摘要
在本文中，我们深入研究了在图上玩的两层Stackelberg游戏，其中玩家0宣布了一个策略，玩家1有几个目标，通过跟随游戏合理地作出反应，为他提供了帕累托最优的回报。。。
带有尾部目标的并发游戏

我们研究两个参与者在有限状态空间上进行的无限随机博弈，其目标由无限迹集指定。游戏是并发的（玩家同时独立地移动），随机的（下一个状态是。。。
重复通信Petri对策的综合问题
Petri网和并发的应用与理论
摘要
Petri博弈是一种用于分布式系统自动综合的多层博弈模型，其中参与者在Petri网上表示为令牌，并分为环境参与者和系统参与者。只要球员搬进来。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM计算逻辑事务

ACM计算逻辑事务第25卷第2期

2024年4月

214页

EISSN公司：1557-945倍

内政部：10.1145/3613563

编辑：
阿努吉·达瓦尔
英国剑桥大学

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2024年4月16日

在线AM：2024年3月9日

认可的：2024年2月26日

修订过的：2023年11月28日

收到：2023年4月15日

发表于TOCL体积25,问题2

检查更新

作者标记

限定符

研究文章

资金来源

PDR公司
弧
EOS公司
欧洲科技合作

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
72
总下载次数

下载量（最近12个月）72
下载次数（最近6周）2

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

全文

以全文形式查看本文。

媒体

数字

其他

桌子

查看全文|下载PDF

查看问题目录