Bibliographic Details
| Title: |
Rational verification: game-theoretic verification of multi-agent systems. |
| Authors: |
Abate, Alessandro1 (AUTHOR), Gutierrez, Julian2 (AUTHOR), Hammond, Lewis1 (AUTHOR), Harrenstein, Paul1 (AUTHOR), Kwiatkowska, Marta1 (AUTHOR), Najib, Muhammad3 (AUTHOR), Perelli, Giuseppe4 (AUTHOR), Steeples, Thomas1 (AUTHOR), Wooldridge, Michael1 (AUTHOR) mjw@cs.ox.ac.uk |
| Source: |
Applied Intelligence. Sep2021, Vol. 51 Issue 9, p6569-6584. 16p. |
| Subjects: |
Computer science, Multiagent systems, Artificial intelligence |
| 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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Applied Intelligence is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
