Simon Busard (UCLouvain, Belgium) |
Charles Pecheur (UCLouvain, Belgium) |
Hongyang Qu (University of Oxford, UK) |
Franco Raimondi (Middlesex University, UK) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.112.12 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |