Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Stefan Edelkamp

ISBN 10: 3540741275 / ISBN 13: 9783540741275

Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007

A propos de cet article

Druck auf Anfrage Neuware - Printed after ordering - 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.

N° de réf. du vendeur 9783540741275

Détails bibliographiques

• Titre: Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
• Éditeur: Springer, Berlin, Springer Berlin Heidelberg, Springer
• Date de parution: 2007
• Langue: anglais
• ISBN à 10 chiffres: 3540741275
• ISBN à 13 chiffres: 9783540741275
• Reliure: Taschenbuch
• État de l'article: Neu
• Dimensions: 235 L x 155 H x 35 P (en millimètres) 235 millimètres de largeur par 155 millimètres de hauteur par 35 millimètres de profondeur
• Poids: 290 grammes

A propos de ce titre

Synopsis

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.