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

Actions


Access Document


Files:
  • (Accepted manuscript, pdf, 691.3KB)

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
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
Journal:
Autonomous Agents and Multi-Agent Systems (AAMAS 2018) Journal website
Pages:
399-406
Host title:
Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
Publication date:
2018-07-15
Acceptance date:
2018-01-24
ISSN:
2523-5699
Source identifiers:
821176
ISBN:
9781450356497
Keywords:
Pubs id:
pubs:821176
UUID:
uuid:b2e756ec-18a7-499b-800e-2720e4999f09
Local pid:
pubs:821176
Deposit date:
2018-05-03

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