Reasoning about strategies under partial observability and fairness constraints
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi · Middlesex University Research Repository (Middlesex University Of London) · 2013
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