Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge. On the complexity of practical ATL model checking. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 201-208, ACM, 2006. [doi]
Abstract is missing.