Journal article icon

Journal article

Nash equilibrium and bisimulation invariance

Abstract:

Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as corresponding to players in a game; plays represent the possible computation runs of the system; and strategies define the behaviour of agents. Typically, strategies are modelled as functions from sequences of system states to player actions. Analysing a system in such a setting involves computing the set of (Nash) ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.23638/LMCS-15(3:32)2019

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Hertford College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Hertford College
Role:
Author
Publisher:
Logical Methods in Computer Science
Journal:
Logical Methods in Computer Science More from this journal
Volume:
15
Issue:
3
Pages:
32:1–32:49
Publication date:
2019-09-20
Acceptance date:
2019-08-26
DOI:
EISSN:
1860-5974
Keywords:
Pubs id:
pubs:1047749
UUID:
uuid:a69e3ba6-c0eb-4bac-af87-22fb24183945
Local pid:
pubs:1047749
Source identifiers:
1047749
Deposit date:
2019-08-27

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP