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]
@inproceedings{HoekLW06,
title = {On the complexity of practical ATL model checking},
author = {Wiebe van der Hoek and Alessio Lomuscio and Michael Wooldridge},
year = {2006},
doi = {10.1145/1160633.1160665},
url = {http://doi.acm.org/10.1145/1160633.1160665},
tags = {model checking, meta-model, ATL, Meta-Environment},
researchr = {https://researchr.org/publication/HoekLW06},
cites = {0},
citedby = {0},
pages = {201-208},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},
editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
publisher = {ACM},
isbn = {1-59593-303-4},
}