“…There is a growing number of works that study the syntactic and semantic variants of the strategic logic ATL for agents with imperfect information [2]. The contributions are mainly theoretical, and include results concerning the conceptual soundness of a given semantics [29,18,1,21,10,15,2], meta-logical properties [16,7], and the complexity of model checking [29,20,16,30,13,5]. However, there is relatively little research on the use of the logics, in particular on practical algorithms for reasoning and/or verification in scenarios where agents have a limited view of the world.…”