Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

  • Editors
  • Stefan Edelkamp
  • Alessio Lomuscio
Conference proceedings MoChArt 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4428)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4428)

Table of contents

  1. Front Matter
  2. Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
    Pages 1-18
  3. Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
    Pages 19-34
  4. Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
    Pages 51-66
  5. Stefan Edelkamp, Shahid Jabbar
    Pages 67-83
  6. Charles Pecheur, Franco Raimondi
    Pages 113-128
  7. Francesco Viganò
    Pages 129-145
  8. Mirosław Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
    Pages 146-165
  9. Back Matter

About these proceedings


European Conference on Artificial Intelligence Multi-agent system artificial intelligence heuristics intelligence model checking real-time verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-74127-5
  • Online ISBN 978-3-540-74128-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site