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

5 Citations (Scopus)
11 Downloads (Pure)

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.

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

Keywords

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

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

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

Cite this