Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
J. ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Jan Calta, Dmitry Shkatov & Holger Schlingloff (2010):
Finding Uniform Strategies for Multi-agent Systems.
In: Jürgen Dix, João Leite, Guido Governatori & Wojtek Jamroga: Computational Logic in Multi-Agent Systems,
Lecture Notes in Computer Science 6245.
Springer Berlin / Heidelberg,
pp. 135–152,
doi:10.1007/978-3-642-14977-1_12.
E. M. Clarke, O. Grumberg & D. Peled (1999):
Model Checking.
MIT Press.
Mehdi Dastani & Wojciech Jamroga (2010):
Reasoning about strategies of multi-agent programs.
In: Proceedings of AAMAS 10,
pp. 997–1004.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning about Knowledge.
MIT Press,
Cambridge.
Wiebe van der Hoek & Michael Wooldridge (2003):
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica 75,
pp. 125–157,
doi:10.1023/A:1026185103185.
W. Jamroga & T. Ågotnes (2007):
Constructive knowledge: what agents can achieve under imperfect information.
Journal of Applied Non-Classical Logics 17(4),
pp. 423–475,
doi:10.3166/jancl.17.423-475.
Wojciech Jamroga & Jürgen Dix (2006):
Model Checking Abilities under Incomplete Information Is Indeed Δ^P_2-complete.
In: EUMAS'06.
Wojciech Jamroga & Wiebe van der Hoek (2004):
Agents that Know How to Play.
Fundamenta Informaticae Volume 63(2),
pp. 185–219.
Sascha Klüppelholz & Christel Baier (2008):
Alternating-Time Stream Logic for Multi-agent Systems.
In: Coordination Models and Languages,
LNCS 5052.
Springer,
pp. 184–198,
doi:10.1007/978-3-540-68265-3_12.
A. Lomuscio, H. Qu & F. Raimondi (2009):
MCMAS: A Model Checker for the Verification of Multi-Agent Systems.
In: Proceedings of CAV 2009,
LNCS 5643.
Springer,
pp. 682–688,
doi:10.1007/978-3-642-02658-4_55.
Alessio Lomuscio & Wojciech Penczek (2007):
Symbolic model checking for temporal-epistemic logics.
SIGACT News 38(3),
pp. 77–99,
doi:10.1145/1324215.1324231.
Pierre-Yves Schobbens (2004):
Alternating-time logic with imperfect recall.
Electronic Notes in Theoretical Computer Science 85(2),
pp. 82 – 93,
doi:10.1016/S1571-0661(05)82604-0.