Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.
The 8 revised full workshop papers and 3 revised post-proceedings papers presented have gone through two…

Model Checking and Artificial Intelligence

pdfepub
Model Checking and Artificial Intelligence | | 4.5