Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
Journal of the ACM (JACM) 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
Sjur Dyrkolbotn, Piotr Każmierczak, Erik Parmann & Truls Pedersen (2012):
No big deal: introducing roles to reduce the size of ATL models.
Available at http://arxiv.org/abs/1204.3495.
Wiebe van der Hoek, Alessio Lomuscio & Michael Wooldridge (2006):
On the complexity of practical ATL model checking.
In: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems.
ACM,
pp. 201–208,
doi:10.1145/1160633.1160665.
Wojciech Jamroga (2009):
Easy Yet Hard: Model Checking Strategies of Agents.
In: Michael Fisher, Fariba Sadri & Michael Thielscher: Computational Logic in Multi-Agent Systems.
Springer-Verlag,
pp. 1–12,
doi:10.1007/978-3-642-02734-5_1.
Wojciech Jamroga & Jürgen Dix (2005):
Do agents make model checking explode (computationally)?.
In: M. Pechoucek, P. Petta & L. Z. Varga: Multi-Agent Systems and Applications IV (LNAI Volume 3690),
doi:10.1007/11559221_40.
François Laroussinie, Nicolas Markey & Ghassan Oreiby (2007):
On the expressiveness and complexity of ATL.
In: Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science.
Springer,
pp. 243–257,
doi:10.1007/978-3-540-71389-0_18.
A. Prasad Sistla & Patrice Godefroid (2004):
Symmetry and reduced symmetry in model checking.
ACM Trans. Program. Lang. Syst. 26(4),
pp. 702–734,
doi:10.1145/1011508.1011511.