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. Lecture Notes in Computer Science 5348 Springer 2009, ISBN 978-3-642-00430-8

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners. 1-14
Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner:
Solving µ-Calculus Parity Games by Symbolic Planning. 15-33
Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma:
Verifying Robocup Teams. 34-48
Stefan Edelkamp, Shahid Jabbar, Peter Kissmann:
Scaling Search with Pattern Databases. 49-64
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar:
Survey on Directed Model Checking. 65-89
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. 90-105
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. 106-121
Gal Katz, Doron Peled:
Model Checking Driven Heuristic Search for Correct Programs. 122-131
Radu Siminiceanu, Rick W. Butler, César A. Muñoz:
Experimental Evaluation of a Planning Language Suitable for Formal Verification. 132-146
Jan-Georg Smaus, Jörg Hoffmann:
Relaxation Refinement: A New Method to Generate Heuristic Functions. 147-165
Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge:
Model Checking Strategic Equilibria. 166-188