Wojciech Jamroga. Strategic Planning through Model Checking of ATL Formulae. In Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, editors, Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings. Volume 3070 of Lecture Notes in Computer Science, pages 879-884, Springer, 2004. [doi]