Local equilibria in logic-based multi-player games
Game theory provides a well-established framework for the analysis and verification of concurrent and multi-agent systems. Typically, the analysis of a multi-agent system involves computing the set of equilibria in the associated multi-player game representing the behaviour of the system. As systems...
| Main Authors: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado: |
International Foundation for Autonomous
Agents and Multiagent Systems
2018
|