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 J. Wooldridge

Published in: Appl. Intell. (2021)

Keyphrases