- Ron van der Meyden, Jan-Georg Smaus, editors, Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Volume 6572 of Lecture Notes in Computer Science, Springer, 2011.