Lecture Notes in Artificial Intelligence

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
see more benefits

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-74128-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD

Table of contents (11 chapters)

Table of contents (11 chapters)
  • A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

    Pages 1-18

    Bertoli, Piergiorgio (et al.)

  • Verifying Space and Time Requirements for Resource-Bounded Agents

    Pages 19-34

    Alechina, Natasha (et al.)

  • Automated Creation of Pattern Database Search Heuristics

    Pages 35-50

    Edelkamp, Stefan

  • Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

    Pages 51-66

    Hoffmann, Jörg (et al.)

  • Real-Time Model Checking on Secondary Storage

    Pages 67-83

    Edelkamp, Stefan (et al.)

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-74128-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
Loading...

Recommended for you

Loading...

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