Limit search to available items
Record 24 of 30
Previous Record Next Record
Book Cover
Author MoChArt IV (2007 : Riva, Italy)

Title Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio (eds.)
Published Berlin ; New York : Springer, [2007]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (vi, 184 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4428. Lecture notes in artificial intelligence
Lecture notes in computer science ; 4428
Lecture notes in computer science. Lecture notes in artificial intelligence.
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
Summary This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. The 8 revised full workshop papers and 3 revised post-proceedings papers presented have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields. The papers ar
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer software -- Verification -- Congresses.
Artificial intelligence -- Congresses.
Computer systems -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Edelkamp, Stefan.
Lomuscio, Alessio.
LC no. 2007932185
ISBN 9783540741282
Other Titles MoChArt IV
MoChArt 4
MoChArt four