Model Checking and Artificial Intelligence

MoChArt 2010: Atlanta, GA, USA

MoChArt 2008: Patras, Greece

MoChArt 2006: Riva del Garda, Italy

maintained by Schloss Dagstuhl LZI at University of Trier