Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk. Model Checking Agent Programs by Using the Program Interpreter. In Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga, editors, Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMAXI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Volume 6245 of Lecture Notes in Computer Science, pages 219-237, Springer, 2010. [doi]
Abstract is missing.