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: | , |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2014
|
_version_ | 1826272302192394240 |
---|---|
author | Gutierrez, J Wooldridge, M |
author_facet | Gutierrez, J Wooldridge, M |
author_sort | Gutierrez, J |
collection | OXFORD |
description | 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 types and solution concepts. The extension permits modelling scenarios where, for instance, cooperation or independent goal-driven behaviour of computer agents is desired. Specifically, we will define non-zero-sum games on event structures, and give full characterisations---existence and completeness results---of the kinds of games, payoff sets, and strategies for which Nash equilibria and subgame perfect Nash equilibria always exist. The game semantics of various logics and systems are outlined to illustrate the power of this framework. |
first_indexed | 2024-03-06T22:10:24Z |
format | Conference item |
id | oxford-uuid:519b568c-8fcc-4640-890d-ae1d0ad13f7f |
institution | University of Oxford |
last_indexed | 2024-03-06T22:10:24Z |
publishDate | 2014 |
publisher | Association for Computing Machinery |
record_format | dspace |
spelling | oxford-uuid:519b568c-8fcc-4640-890d-ae1d0ad13f7f2022-03-26T16:20:41ZEquilibria of concurrent games on event structuresConference itemhttp://purl.org/coar/resource_type/c_5794uuid:519b568c-8fcc-4640-890d-ae1d0ad13f7fSymplectic Elements at OxfordAssociation for Computing Machinery2014Gutierrez, JWooldridge, MEvent 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 types and solution concepts. The extension permits modelling scenarios where, for instance, cooperation or independent goal-driven behaviour of computer agents is desired. Specifically, we will define non-zero-sum games on event structures, and give full characterisations---existence and completeness results---of the kinds of games, payoff sets, and strategies for which Nash equilibria and subgame perfect Nash equilibria always exist. The game semantics of various logics and systems are outlined to illustrate the power of this framework. |
spellingShingle | Gutierrez, J Wooldridge, M Equilibria of concurrent games on event structures |
title | Equilibria of concurrent games on event structures |
title_full | Equilibria of concurrent games on event structures |
title_fullStr | Equilibria of concurrent games on event structures |
title_full_unstemmed | Equilibria of concurrent games on event structures |
title_short | Equilibria of concurrent games on event structures |
title_sort | equilibria of concurrent games on event structures |
work_keys_str_mv | AT gutierrezj equilibriaofconcurrentgamesoneventstructures AT wooldridgem equilibriaofconcurrentgamesoneventstructures |