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...
| Main Authors: | , , |
|---|---|
| 格式: | Conference item |
| 語言: | English |
| 出版: |
Springer International Publishing
2015
|