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