Reasoning about strategies under partial observability and fairness constraints
Conference paper
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2013. Reasoning about strategies under partial observability and fairness constraints. 1st International Workshop on Strategic Reasoning. Rome, Italy 16 - 17 Mar 2013 Open Publishing Association. https://doi.org/10.4204/EPTCS.112.12
Type | Conference paper |
---|---|
Title | Reasoning about strategies under partial observability and fairness constraints |
Authors | Busard, S., Pecheur, C., Qu, H. and Raimondi, F. |
Abstract | A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose AT LK^F_po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with fairness constraints on states, and we provide a model checking algorithm for it |
Conference | 1st International Workshop on Strategic Reasoning |
Series | Electronic Proceedings in Theoretical Computer Science |
ISSN | 2075-2180 |
Publisher | Open Publishing Association |
Publication dates | |
01 Mar 2013 | |
Publication process dates | |
Deposited | 23 Apr 2015 |
Output status | Published |
Web address (URL) | https://arxiv.org/abs/1303.0793v1 |
Digital Object Identifier (DOI) | https://doi.org/10.4204/EPTCS.112.12 |
Language | English |
Book title | Electronic Proceedings in Theoretical Computer Science, 112: Proceedings 1st International Workshop on Strategic Reasoning Rome, Italy, March 16-17, 2013 |
File | License |
Permalink -
https://repository.mdx.ac.uk/item/850z7
Download files
71
total views7
total downloads1
views this month0
downloads this month