Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Edelkamp, Stefan; Lomuscio, Alessio (Springer Berlin Heidelberg, 2007)