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. (Springer Berlin Heidelberg : Imprint: Springer, 2009)