Reasoning about Strategies under Partial Observability and Fairness Constraints

Simon Busard, Charles Pecheur, Hongyang Qu +1

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 unifi…