Conference item icon

Conference item

Local equilibria in logic-based multi-player games

Abstract:

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 grow larger, it becomes increasingly harder to find equilibria in the game – which represent the rationally stable behaviours of the multi-agent system (the solutions of the game). To address this...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:

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 Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
Publisher:
International Foundation for Autonomous Agents and Multiagent Systems Publisher's website
Pages:
399-406
Publication date:
2018-07-15
Acceptance date:
2018-01-24
ISSN:
2523-5699
Pubs id:
pubs:821176
URN:
uri:b2e756ec-18a7-499b-800e-2720e4999f09
UUID:
uuid:b2e756ec-18a7-499b-800e-2720e4999f09
Local pid:
pubs:821176
ISBN:
978-1-4503-5649-7

Terms of use


Metrics


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