Conference item icon

Conference item

Iterated games with LDL goals

Abstract:

Linear Dynamic Logic on finite traces (LDLF ) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDLF. This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way. Be...

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

Actions


Access Document


Files:

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
Publisher:
Association for Computing Machinery
Host title:
6th International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2017
Journal:
6th International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2017 More from this journal
Publication date:
2017-05-01
Acceptance date:
2017-01-24
Keywords:
Pubs id:
pubs:673567
UUID:
uuid:fe70e3ef-8be4-4c2e-8c7c-206a4f13edae
Local pid:
pubs:673567
Source identifiers:
673567
Deposit date:
2017-01-30

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