Springer
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Selected and Invited Papers
Product Code:
9783540741275
ISBN13:
9783540741275
Condition:
New
$61.47
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Selected and Invited Papers
$61.47
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
| Author: Stefan Edelkamp |
| Publisher: Springer |
| Publication Date: Aug 09, 2007 |
| Number of Pages: 185 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540741275 |
| ISBN-13: 9783540741275 |
Related Products
