Model Checking and Artificial Intelligence

1. Front Matter

   PDF

2. Verifying Time and Communication Costs of Rule-Based Reasoners

   • Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

   Pages 1-14

3. Solving μ-Calculus Parity Games by Symbolic Planning

   • Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner

   Pages 15-33

4. Verifying Robocup Teams

   • Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma

   Pages 34-48

5. Scaling Search with Pattern Databases

   • Stefan Edelkamp, Shahid Jabbar, Peter Kissmann

   Pages 49-64

6. Survey on Directed Model Checking

   • Stefan Edelkamp, Viktor Schuppan, Dragan Bošnački, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

   Pages 65-89

7. Automated Testing of Planning Models

   • Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith

   Pages 90-105

8. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

   • Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

   Pages 106-121

9. Model Checking Driven Heuristic Search for Correct Programs

   • Gal Katz, Doron Peled

   Pages 122-131

10. Experimental Evaluation of a Planning Language Suitable for Formal Verification

    • Radu I. Siminiceanu, Rick W. Butler, César A. Muñoz

    Pages 132-146

11. Relaxation Refinement: A New Method to Generate Heuristic Functions

    • Jan-Georg Smaus, Jörg Hoffmann

    Pages 147-165

12. Model Checking Strategic Equilibria

    • Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge

    Pages 166-188

13. Back Matter

    PDF

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

• AI logics
• European Conference on Artificial Intelligence
• abstraction
• artificial intelligence
• automata theory
• calculi
• directed model checking
• distributed model checking
• formal verification
• heuristic search
• intelligence
• logic programming
• model checking
• multi-agent systems
• program verification

• Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

  Doron A. Peled

• Department of Computer Science, University of Liverpool, Liverpool, UK

  Michael J. Wooldridge

Policies and ethics