Oxford logo
[AGH+21] Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples and Michael Wooldridge. Rational verification: game-theoretic verification of multi-agent systems. Applied Intelligence, Springer. August 2021. [pdf] [bib]
Downloads:  pdf pdf (929 KB)  bib bib
Notes: The original publication is available at link.springer.com. The original publication is available at link.springer.com.
Abstract. We provide a survey of the state of the art of 𝙧𝙖𝙩𝙞𝙤𝙣𝙖𝙡 𝙫𝙚𝙧𝙞𝙛𝙞𝙘𝙖𝙩𝙞𝙤𝙣: the problem of checking whether a given temporal logic formula 𝝋 is satisfied in some or all game theoretic equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour 𝝋 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.