Doron Peled Michael Wooldridge Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers 5348 2009 http.//dx.doi.org/10.1007/978-3-642-00431-5 978-3-642-00430-8 MoChArt Lecture Notes in Computer Science Springer db/conf/mochart/mochart2008.html