Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk. State Space Reduction for Model Checking Agent Programs. In Louise A. Dennis, Olivier Boissier, Rafael H. Bordini, editors, Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Volume 7217 of Lecture Notes in Computer Science, pages 133-151, Springer, 2011. [doi]
Abstract is missing.