Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers - Doron A. Peled, Michael J. Wooldridge ((Lecture Notes in Computer Science))