Rajeev Alur
Thomas A. Henzinger
Orna Kupferman
2002
Alternating-time temporal logic
Journal of the ACM (JACM)
49
5
672–713
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
http://arxiv.org/abs/1204.3495
Wiebe van der Hoek
Alessio Lomuscio
Michael Wooldridge
2006
On the complexity of practical ATL model checking
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
ACM
201–208
10.1145/1160633.1160665
Wojciech Jamroga
2009
Easy Yet Hard: Model Checking Strategies of Agents
Michael Fisher
Fariba Sadri
Michael Thielscher
Computational Logic in Multi-Agent Systems
Springer-Verlag
1–12
10.1007/978-3-642-02734-5_1
Wojciech Jamroga
Jürgen Dix
2005
Do agents make model checking explode (computationally)?
M. Pechoucek
P. Petta
L. Z. Varga
Multi-Agent Systems and Applications IV (LNAI Volume 3690)
10.1007/11559221_40
François Laroussinie
Nicolas Markey
Ghassan Oreiby
2007
On the expressiveness and complexity of ATL
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
243–257
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
702–734
10.1145/1011508.1011511