Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (Springer Berlin Heidelberg, 2011)
Keywords: Artificial Intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering