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.
Author(s): Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)
Series: Lecture Notes in Computer Science 4428
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 185
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
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 -
