Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - Meyden, Ron van der; Smaus, Jan-Georg (Springer Berlin Heidelberg : Imprint: Springer, 2011)