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

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

by Stefan Edelkamp
     
 

ISBN-10: 3540741275

ISBN-13: 9783540741275

Pub. Date: 09/14/2007

Publisher: Springer Berlin Heidelberg

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,

Overview

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.

Product Details

ISBN-13:
9783540741275
Publisher:
Springer Berlin Heidelberg
Publication date:
09/14/2007
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Series, #4428
Edition description:
2007
Pages:
185
Product dimensions:
5.90(w) x 9.30(h) x 0.60(d)

Table of Contents

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.- Verifying Space and Time Requirements for Resource-Bounded Agents.- Automated Creation of Pattern Database Search Heuristics.- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.- Real-Time Model Checking on Secondary Storage.- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.- Symbolic Model Checking of Logics with Actions.- A Framework for Model Checking Institutions.- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.- Distributed Extended Beam Search for Quantitative Model Checking.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >