Rational verification is concerned with establishing whether a given temporal logic formula ? is satisfied in some or all equilibrium computations of a multi-agent system - that is, whether the system will exhibit the behaviour ? under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of rational verification, we present formal models through which rational verification can be studied, and survey the complexity of key decision problems.We give an overview of a prototype software tool for rational verification, and conclude with a discussion and related work.

Rational verification: From model checking to equilibrium checking / Wooldridge, M.; Gutierrez, J.; Harrenstein, P.; Marchioni, E.; Perelli, G.; Toumi, A.. - (2016), pp. 4184-4190. (Intervento presentato al convegno 30th AAAI Conference on Artificial Intelligence, AAAI 2016 tenutosi a Phoenix; United States).

Rational verification: From model checking to equilibrium checking

Perelli G.;
2016

Abstract

Rational verification is concerned with establishing whether a given temporal logic formula ? is satisfied in some or all equilibrium computations of a multi-agent system - that is, whether the system will exhibit the behaviour ? under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of rational verification, we present formal models through which rational verification can be studied, and survey the complexity of key decision problems.We give an overview of a prototype software tool for rational verification, and conclude with a discussion and related work.
2016
30th AAAI Conference on Artificial Intelligence, AAAI 2016
Rational Verification; Multi-Agent Systems; Nash Equilibria
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Rational verification: From model checking to equilibrium checking / Wooldridge, M.; Gutierrez, J.; Harrenstein, P.; Marchioni, E.; Perelli, G.; Toumi, A.. - (2016), pp. 4184-4190. (Intervento presentato al convegno 30th AAAI Conference on Artificial Intelligence, AAAI 2016 tenutosi a Phoenix; United States).
File allegati a questo prodotto
File Dimensione Formato  
Wooldridge_Rational_2016.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 770.6 kB
Formato Adobe PDF
770.6 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1403412
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 42
  • ???jsp.display-item.citation.isi??? 32
social impact