Conference item icon

Conference item

Reasoning about equilibria in game-like concurrent systems

Abstract:
Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]ϕ, which asserts that ϕ holds on all Nash equilibrium computations of the system
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publication website:
https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7925

Authors


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
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Association for the Advancement of Artificial Intelligence Publisher's website
Pages:
408-417
Host title:
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning
Publication date:
2014-05-04
Acceptance date:
2014-01-28
Event title:
14th International Conference on Principles of Knowledge Representation and Reasoning
Event location:
Vienna University of Technology, Vienna, Austria
Event website:
https://www.dbai.tuwien.ac.at/kr2014/
Event start date:
2014-07-20T00:00:00Z
Event end date:
2014-07-24T00:00:00Z
Source identifiers:
572462
ISBN:
1577356578
Language:
English
Keywords:
Pubs id:
pubs:572462
UUID:
uuid:3b8e64de-dc24-49e6-baa5-274d51b50633
Local pid:
pubs:572462
Deposit date:
2015-11-12

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