Journal article
Rational verification: game-theoretic verification of multi-agent systems
- Abstract:
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, 635.4KB, Terms of use)
-
- Publisher copy:
- 10.1007/s10489-021-02658-y
Authors
- Publisher:
- Springer
- Journal:
- Applied Intelligence More from this journal
- Volume:
- 51
- Pages:
- 6569-6584
- Publication date:
- 2021-08-03
- Acceptance date:
- 2021-06-30
- DOI:
- EISSN:
-
1573-7497
- ISSN:
-
0924-669X
- Language:
-
English
- Keywords:
- Pubs id:
-
1190827
- Local pid:
-
pubs:1190827
- Deposit date:
-
2021-10-06
Terms of use
- Copyright holder:
- Abate et al.
- Copyright date:
- 2021
- Rights statement:
- Copyright © 2021 The Author(s). This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record