Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)3540741275, 9783540741275

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.

The 8 revised full workshop papers and 3 revised post-proceedings papers presented 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. The papers are organized in topical sections on planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, as well as logics for model checking and artificial intelligence.

---

Table of contents :
Front Matter….Pages –
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis….Pages 1-18
Verifying Space and Time Requirements for Resource-Bounded Agents….Pages 19-34
Automated Creation of Pattern Database Search Heuristics….Pages 35-50
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL….Pages 51-66
Real-Time Model Checking on Secondary Storage….Pages 67-83
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning….Pages 84-94
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation….Pages 95-112
Symbolic Model Checking of Logics with Actions….Pages 113-128
A Framework for Model Checking Institutions….Pages 129-145
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata….Pages 146-165
Distributed Extended Beam Search for Quantitative Model Checking….Pages 166-184
Back Matter….Pages –