T. Ågotnes and D. Walther. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information, 18(1):55-77, 2009.
T. Ågotnes, V. Goranko, and W. Jamroga. Alternating-time temporal logics with irrevocable strategies. In Proceedings of TARK XI, pages 15-24, 2007.
T. Ågotnes, V. Goranko, W. Jamroga, and M. Wooldridge. Knowledge and ability. In H.P. van Ditmarsch, J.Y. Halpern, W. van der Hoek, and B.P. Kooi, editors, Handbook of Epistemic Logic, pages 543-589. College Publications, 2015.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
F. Belardinelli, A. Lomuscio, A. Murano, and S. Rubin. Verification of multi-agent systems with imperfect information and public actions. In Proceedings of AAMAS, pages 1268-1276, 2017.
D. Berwanger and L. Kaiser. Information tracking in games on graphs. Journal of Logic, Language and Information, 19(4):395-412, 2010.
D. Berwanger, A. B. Mathew, and M. van den Bogaard. Hierarchical information and the synthesis of distributed strategies. Acta Inf., 55(8):669-701, 2018.
N. Bulling, J. Dix, and W. Jamroga. Model checking logics of strategic ability: Complexity. In M. Dastani, K. Hindriks, and J.-J. Meyer, editors, Specification and Verification of Multi-Agent Systems, pages 125-159. Springer, 2010.
S. Busard. Symbolic Model Checking of Multi-Modal Logics: Uniform Strategies and Rich Explanations. PhD thesis, Universite Catholique de Louvain, 2017.
K. Chatterjee, L. Doyen, T.A. Henzinger, and J.-F. Raskin. Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science, 3(3), 2007.
C. Dima and F.L. Tiplea. Model-checking ATL under imperfect information and perfect recall semantics is undecidable. CoRR, abs/1102.4225, 2011.
L. Doyen and J.-F. Raskin. Games with imperfect information: Theory and algorithms. In Lecture Notes in Game Theory for Computer Scientists, pages 185-212. Cambridge University Press, 2011.
D.P. Guelev, C. Dima, and C. Enea. An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Journal of Applied Non-Classical Logics, 21(1):93-131, 2011.
X. Huang and R. van der Meyden. Symbolic model checking epistemic strategy logic. In Proceedings of AAAI Conference on Artificial Intelligence, pages 1426-1432, 2014.
W. Jamroga and J. Dix. Model checking ATLir is indeed ∆P2 -complete. In Proceedings of EUMAS, volume 223 of CEUR Workshop Proceedings, 2006.
W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2-3):185-219, 2004.
W. Jamroga, M. Knapik, and D. Kurpiewski. Fixpoint approximation of strategic abilities under imperfect information. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1241-1249. IFAAMAS, 2017.
W. Jamroga. Some remarks on alternating temporal epistemic logic. In B. Dunin-Keplicz and R. Verbrugge, editors, Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003), pages 133-140, 2003.
F. Laroussinie, N. Markey, and Ph. Schnoebelen. Model checking CTL+ and FCTL is hard. In Proceedings of FoSSaCS'01, volume 2030 of Lecture Notes in Computer Science, pages 318-331. Springer, 2001.
Bastien Maubert and Aniello Murano. Reasoning about knowledge and strategies under hierarchical information. In Proceedings of KR, pages 530-540, 2018.
G. Peterson and J. Reif. Multiple-person alternation. In Proceedings of the 20th Annual Symposium on Foundations of Computer Science (FOCS), pages 348-363. IEEE Computer Society Press, 1979.
J. Pilecki, M.A. Bednarczyk, and W. Jamroga. Synthesis and verification of uniform strategies for multi-agent systems. In Proceedings of CLIMA XV, volume 8624 of Lecture Notes in Computer Science, pages 166-182. Springer, 2014.
John H. Reif. The complexity of two-player games of incomplete information. J. Comput. Syst. Sci., 29(2):274-301, 1984.
S. Schewe and B. Finkbeiner. Distributed synthesis for alternating-time logics. In Proceedings of ATVA, volume 4762 of Lecture Notes in Computer Science, pages 268-283. Springer, 2007.
P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2):82-93, 2004.
W. van der Hoek, A. Lomuscio, and M. Wooldridge. On the complexity of practical ATL model checking. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 201-208. ACM, 2006.
