Lecture Notes in Artificial Intelligence
© 2007
Model Checking and Artificial Intelligence
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Editors: Edelkamp, Stefan, Lomuscio, Alessio (Eds.)
Free Preview- Presents the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence
- Features eight full workshop papers and three post-proceedings papers
- Covers planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence
Buy this book
- Table of contents (11 chapters)
-
-
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
-
Table of contents (11 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Model Checking and Artificial Intelligence
- Book Subtitle
- 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
- Editors
-
- Stefan Edelkamp
- Alessio Lomuscio
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 4428
- Copyright
- 2007
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-74128-2
- DOI
- 10.1007/978-3-540-74128-2
- Softcover ISBN
- 978-3-540-74127-5
- Edition Number
- 1
- Number of Pages
- IX, 185
- Topics