Rational verification: game-theoretic verification of multi-agent systems

被引：0
作者：
Alessandro Abate
Julian Gutierrez
Lewis Hammond
Paul Harrenstein
Marta Kwiatkowska
Muhammad Najib
Giuseppe Perelli
Thomas Steeples
Michael Wooldridge
机构：
[1] University of Oxford,Department of Computer Science
[2] Monash University,Faculty of Information Technology
[3] University of Kaiserslautern,Department of Computer Science
[4] Sapienza University of Rome,Department of Computer, Control, and Management Engineering
来源：
Applied Intelligence | 2021年 / 51卷
关键词：
Automated verification; Game theory; Multi-agent systems; Model checking; Automated synthesis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria of a multi-agent system – that is, whether the system will exhibit the behavior ϕ represents under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the overall framework of rational verification, we discuss key results obtained in the past few years as well as relevant related work in logic, AI, and computer science.
引用
收藏
页码：6569 / 6584
页数：15
相关论文
共 63 条
[1]  
Alur R(1999)Reactive modules Formal Methods Syst Des 15 7-48
[2]  
Henzinger TA(2002)Alternating-time temporal logic J ACM 49 672-713
[3]  
Alur R(2004)Deterministic generators and games for ltl fragments ACM Trans Comput Log (TOCL) 5 1-25
[4]  
Henzinger TA(2012)Synthesis of Reactive (1) designs J Comput Syst Sci 78 911-938
[5]  
Kupferman O(2013)On the complexity of planning for agent teams and its implications for single agent planning Artif Intell 198 52-71
[6]  
Alur R(2018)Practical verification of multi-agent systems against slk specifications Inf Comput 261 588-614
[7]  
Torre SL(1996)Formal validation of a high performance error control protocol using spin Softw Practice Exper 26 105-124
[8]  
Bloem R(2012)A survey of stochastic ω-regular games J Comput Syst Sci 78 394-413
[9]  
Jobstmann B(2010)Strategy logic Inf Comput 208 677-693
[10]  
Piterman N(2013)Simaitis, A Automatic verification of competitive stochastic systems Formal Methods Syst Des 43 61-92
1234567