Model Checking and Artificial Intelligence
MoChArt 2010: Atlanta, GA, USA
Ron van der Meyden, Jan-Georg Smaus (Eds.): Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Springer 2011 Lecture Notes in Computer Science 6572 ISBN 978-3-642-20673-3 [ contents ]
MoChArt 2008: Patras, Greece
- Doron Peled, Michael Wooldridge (Eds.): Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer 2009 Lecture Notes in Computer Science 5348 ISBN 978-3-642-00430-8 [ contents ]
MoChArt 2006: Riva del Garda, Italy
- Stefan Edelkamp, Alessio Lomuscio (Eds.): Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Springer 2007 Lecture Notes in Computer Science 4428 ISBN 978-3-540-74127-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team