Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. Reactive Modules Games are a game-theoretic extension of Reactive Modules, in which system components are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. Reactive Modules Games with perfect information have been extensively studied, and the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified. In this article, we study Reactive Modules Games in which agents have only partial visibility of their environment.

Imperfect information in Reactive Modules games / Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael. - In: INFORMATION AND COMPUTATION. - ISSN 0890-5401. - 261:(2018), pp. 650-675. [10.1016/j.ic.2018.02.023]

Imperfect information in Reactive Modules games

Giuseppe Perelli;
2018

Abstract

Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. Reactive Modules Games are a game-theoretic extension of Reactive Modules, in which system components are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. Reactive Modules Games with perfect information have been extensively studied, and the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified. In this article, we study Reactive Modules Games in which agents have only partial visibility of their environment.
2018
Multi-Agent Systems; Rational Verification; Imperfect Information
01 Pubblicazione su rivista::01a Articolo in rivista
Imperfect information in Reactive Modules games / Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael. - In: INFORMATION AND COMPUTATION. - ISSN 0890-5401. - 261:(2018), pp. 650-675. [10.1016/j.ic.2018.02.023]
File allegati a questo prodotto
File Dimensione Formato  
Gutierrez_Imperfect_2018.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 739.24 kB
Formato Adobe PDF
739.24 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/1403506
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 21
  • ???jsp.display-item.citation.isi??? 16
social impact