A tool for the automated verification of Nash equilibria in concurrent games
Reactive Modules is a high-level specification language for concurrent and multi-agent systems, used in a number of practical model checking tools. Reactive Modules Games is a game-theoretic extension of Reactive Modules, in which concurrent agents in the system are assumed to act strategically in a...
| Hauptverfasser: | , , |
|---|---|
| Format: | Conference item |
| Sprache: | English |
| Veröffentlicht: |
Springer International Publishing
2015
|