Equilibria of concurrent games on event structures
Event structures form a canonical model of concurrent behaviour which has a natural game-theoretic interpretation. This game-based interpretation was initially given for zero-sum concurrent games. This paper studies an extension of such games on event structures to include a much wider class of game...
Main Authors: | Gutierrez, J, Wooldridge, M |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2014
|
Similar Items
-
Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2014) -
Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2016) -
Nash equilibria in concurrent games with lexicographic preferences
by: Gutierrez, J, et al.
Published: (2017) -
A tool for the automated verification of Nash equilibria in concurrent games
by: Toumi, A, et al.
Published: (2015) -
Cooperative Concurrent Games
by: Gutierrez, J, et al.
Published: (2019)