Rational verification: game-theoretic verification of multi-agent systems

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael Wooldridge*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)
53 Downloads (Pure)


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.

Original languageEnglish
Pages (from-to)6569-6584
Number of pages16
JournalApplied Intelligence
Issue number9
Early online date3 Aug 2021
Publication statusPublished - Sept 2021


  • Automated synthesis
  • Automated verification
  • Game theory
  • Model checking
  • Multi-agent systems

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'Rational verification: game-theoretic verification of multi-agent systems'. Together they form a unique fingerprint.

Cite this