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
Last update Thu May 24 04:38:19 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
