Model checking and artificial intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers - Peled, Doron A.; Wooldridge, Michael J. (Lecture Notes in Computer Science,, 2009)