Journal article
Imperfect information in Reactive Modules games
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 457.9KB, Terms of use)
-
- Publisher copy:
- 10.1016/j.ic.2018.02.023
Authors
- Publisher:
- Elsevier
- Journal:
- Information and Computation More from this journal
- Volume:
- 261
- Issue:
- 4
- Pages:
- 650-675
- Publication date:
- 2018-03-07
- Acceptance date:
- 2017-07-01
- DOI:
- ISSN:
-
0890-5401
- Keywords:
- Pubs id:
-
pubs:702834
- UUID:
-
uuid:7ed8ff96-a8e6-4636-bdc7-01808265d566
- Local pid:
-
pubs:702834
- Source identifiers:
-
702834
- Deposit date:
-
2017-07-03
- ARK identifier:
Terms of use
- Copyright holder:
- Gutierrez et al
- Copyright date:
- 2018
- Notes:
- Copyright © 2018 Published by Elsevier Inc. This is the accepted manuscript version of the article. The final version is available online from Elsevier at: https://doi.org/10.1016/j.ic.2018.02.023
If you are the owner of this record, you can report an update to it here: Report update to this record