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]
@inproceedings{Jamroga04,
title = {Strategic Planning through Model Checking of ATL Formulae},
author = {Wojciech Jamroga},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3070&spage=879},
tags = {model checking, meta-model, ATL, Meta-Environment},
researchr = {https://researchr.org/publication/Jamroga04},
cites = {0},
citedby = {0},
pages = {879-884},
booktitle = {Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings},
editor = {Leszek Rutkowski and Jörg H. Siekmann and Ryszard Tadeusiewicz and Lotfi A. Zadeh},
volume = {3070},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22123-9},
}