Reasoning about Strategies under Partial Observability and Fairness Constraints
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 ATLK^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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2013
- DOI:
- 10.48550/arXiv.1303.0793
- arXiv:
- arXiv:1303.0793
- Bibcode:
- 2013arXiv1303.0793B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Multiagent Systems
- E-Print:
- In Proceedings SR 2013, arXiv:1303.0071