Equilibria of concurrent games on event structures

Julian Gutierrez; Michael Wooldridge

doi:10.1145/2603088.2603145

Equilibria of concurrent games on event structures

Julian Gutierrez, Michael Wooldridge

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

9 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Editors	Thomas Henzinger, Dale Miller
Place of Publication	New York NY USA
Publisher	Association for Computing Machinery (ACM)
Number of pages	10
ISBN (Print)	9781450328869
DOIs	https://doi.org/10.1145/2603088.2603145
Publication status	Published - 2014
Externally published	Yes
Event	IEEE Symposium on Logic in Computer Science 2014 - Vienna, Austria Duration: 14 Jul 2014 → 18 Jul 2014 Conference number: 29th http://vsl2014.at/?utm_source=researchbib

Conference

Conference	IEEE Symposium on Logic in Computer Science 2014
Abbreviated title	LICS 2014
Country/Territory	Austria
City	Vienna
Period	14/07/14 → 18/07/14
Internet address	http://vsl2014.at/?utm_source=researchbib

Keywords

Concurrent games
Event structures
Nash equilibria

Access to Document

10.1145/2603088.2603145

301572349-oaFinal published version, 186 KB

Cite this

Gutierrez, J., & Wooldridge, M. (2014). Equilibria of concurrent games on event structures. In T. Henzinger, & D. Miller (Eds.), Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) [46] Association for Computing Machinery (ACM). https://doi.org/10.1145/2603088.2603145

Gutierrez, Julian ; Wooldridge, Michael. / Equilibria of concurrent games on event structures. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). editor / Thomas Henzinger ; Dale Miller. New York NY USA : Association for Computing Machinery (ACM), 2014.

@inproceedings{abec3dca7ccd48ecbadcbc9f98154802,

title = "Equilibria of concurrent games on event structures",

abstract = "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.",

keywords = "Concurrent games, Event structures, Nash equilibria",

author = "Julian Gutierrez and Michael Wooldridge",

year = "2014",

doi = "10.1145/2603088.2603145",

language = "English",

isbn = "9781450328869",

editor = "Henzinger, {Thomas } and Miller, {Dale }",

booktitle = "Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",

publisher = "Association for Computing Machinery (ACM)",

address = "United States of America",

note = "IEEE Symposium on Logic in Computer Science 2014, LICS 2014 ; Conference date: 14-07-2014 Through 18-07-2014",

url = "http://vsl2014.at/?utm_source=researchbib",

}

Gutierrez, J & Wooldridge, M 2014, Equilibria of concurrent games on event structures. in T Henzinger & D Miller (eds), Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 46, Association for Computing Machinery (ACM), New York NY USA, IEEE Symposium on Logic in Computer Science 2014, Vienna, Austria, 14/07/14. https://doi.org/10.1145/2603088.2603145

Equilibria of concurrent games on event structures. / Gutierrez, Julian; Wooldridge, Michael.

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ed. / Thomas Henzinger; Dale Miller. New York NY USA : Association for Computing Machinery (ACM), 2014. 46.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Equilibria of concurrent games on event structures

AU - Gutierrez, Julian

AU - Wooldridge, Michael

N1 - Conference code: 29th

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Concurrent games

KW - Event structures

KW - Nash equilibria

UR - http://www.scopus.com/inward/record.url?scp=84905989795&partnerID=8YFLogxK

U2 - 10.1145/2603088.2603145

DO - 10.1145/2603088.2603145

M3 - Conference Paper

AN - SCOPUS:84905989795

SN - 9781450328869

BT - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

A2 - Henzinger, Thomas

A2 - Miller, Dale

PB - Association for Computing Machinery (ACM)

CY - New York NY USA

T2 - IEEE Symposium on Logic in Computer Science 2014

Y2 - 14 July 2014 through 18 July 2014

ER -

Gutierrez J, Wooldridge M. Equilibria of concurrent games on event structures. In Henzinger T, Miller D, editors, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York NY USA: Association for Computing Machinery (ACM). 2014. 46 https://doi.org/10.1145/2603088.2603145

Equilibria of concurrent games on event structures

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this