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
Version:
Accepted manuscript

Actions


Access Document


Files:

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Perelli, G More by this author
More by this author
Department:
Oxford, MPLS, Computer Science
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2017-05-05
Acceptance date:
2017-01-24
Pubs id:
pubs:673567
URN:
uri:fe70e3ef-8be4-4c2e-8c7c-206a4f13edae
UUID:
uuid:fe70e3ef-8be4-4c2e-8c7c-206a4f13edae
Local pid:
pubs:673567

Terms of use


Metrics



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

TO TOP