Rational verification: game-theoretic verification of multi-agent systems
Rational verification: game-theoretic verification of multi-agent systems
复制标题
理性验证：多智能体系统的博弈论验证
DOI：
10.1007/s10489-021-02658-y
复制
发表时间：
2021
影响因子：
5.3
通讯作者：
Abate A
中科院分区：
文献类型：
--
作者：
Abate A
我们提供了理性验证技术的现状综述：检查给定的时间逻辑公式ϕ是否满足多智能体系统的部分或所有博弈论均衡-即，在假设系统内的智能体为追求其偏好而理性行动的情况下，系统是否会表现出ϕ所表示的行为。在激励和介绍了理性验证的总体框架之后，我们讨论了过去几年取得的关键成果以及逻辑、人工智能和计算机科学的相关工作。
We provide a survey of the state of the art ofrational 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.
登录
查看更多内容
DOI：
10.1007/3-540-45319-9_1
发表时间：
2001-04
期刊：
--
影响因子：
--
作者：
Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
纳什均衡和互模拟不变性
DOI：
--
发表时间：
2018
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Julian Gutierrez;Paul Harrenstein;Giuseppe Perelli;M. Wooldridge
通讯作者：
M. Wooldridge
并发确定性博弈中的纯纳什均衡
DOI：
10.2168/lmcs-11(2:9)2015
发表时间：
2015
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
P. Bouyer;Romain Brenguier;N. Markey;M. Ummels
通讯作者：
M. Ummels
DOI：
10.24963/kr.2021/30
发表时间：
2021
期刊：
ArXiv
影响因子：
--
作者：
Julian Gutierrez;Lewis Hammond;A. Lin;Muhammad Najib;M. Wooldridge
通讯作者：
M. Wooldridge
DOI：
10.1007/s10472-016-9508-8
发表时间：
2016-09-01
影响因子：
1.2
作者：
Kupferman, Orna;Perelli, Giuseppe;Vardi, Moshe Y.
通讯作者：
Vardi, Moshe Y.