Jun Wu, Chong-Jun Wang, Lei Zhang, Junyuan Xie. Coalitional Planning in Game-like Domains via ATL Model Checking. In ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009. pages 645-652, IEEE Computer Society, 2009. [doi]
Abstract is missing.