Imperfect information in Reactive Modules games
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 strategicall...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2018
|