Rational verification: game-theoretic verification of multi-agent systems
Alessandro Abate, Julián Gutiérrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Sharfi Najib, Giuseppe Perelli, Thomas Steeples, Michael Wooldridge · Applied Intelligence · 2021
Abstract 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.