Conference item icon

Conference item

Iterated games with LDL goals over finite traces

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. Bec...

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 Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More from this funder
Name:
European Research Council
Grant:
291528
Publisher:
International Foundation for Autonomous Agents and Multiagent Systems
Host title:
Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), S. Das, E. Durfee, K. Larson, M. Winikoff (eds.), May 8–12, 2017, São Paulo, Brazil
Journal:
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS More from this journal
Pages:
696-704
Publication date:
2017-05-08
Acceptance date:
2017-01-24
EISSN:
1548-8403
ISSN:
1558-2914
ISBN:
9781510855076
Pubs id:
pubs:833390
UUID:
uuid:67bd6d87-5220-467d-b9dc-2bb98f1fba64
Local pid:
pubs:833390
Source identifiers:
833390
Deposit date:
2018-07-05

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