Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

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.)

  • 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 $69.99
price for USA (gross)
  • 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 $99.00
price for USA
  • ISBN 978-3-540-74127-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (11 chapters)

  • A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

    Bertoli, Piergiorgio (et al.)

    Pages 1-18

  • Verifying Space and Time Requirements for Resource-Bounded Agents

    Alechina, Natasha (et al.)

    Pages 19-34

  • Automated Creation of Pattern Database Search Heuristics

    Edelkamp, Stefan

    Pages 35-50

  • Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

    Hoffmann, Jörg (et al.)

    Pages 51-66

  • Real-Time Model Checking on Secondary Storage

    Edelkamp, Stefan (et al.)

    Pages 67-83

Buy this book

eBook $69.99
price for USA (gross)
  • 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 $99.00
price for USA
  • ISBN 978-3-540-74127-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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