Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence
Author :
Publisher : Springer
Total Pages : 193
Release :
ISBN-10 : 9783540741282
ISBN-13 : 3540741283
Rating : 4/5 (82 Downloads)

Book Synopsis Model Checking and Artificial Intelligence by : Stefan Edelkamp

Download or read book Model Checking and Artificial Intelligence written by Stefan Edelkamp and published by Springer. This book was released on 2007-08-28 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Model Checking and Artificial Intelligence Related Books

Model Checking and Artificial Intelligence
Language: en
Pages: 193
Authors: Stefan Edelkamp
Categories: Computers
Type: BOOK - Published: 2007-08-28 - Publisher: Springer

DOWNLOAD EBOOK

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are pre
Model Checking and Artificial Intelligence
Language: en
Pages: 196
Authors: Doron A. Peled
Categories: Computers
Type: BOOK - Published: 2009-02-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in
Model Checking and Artificial Intelligence
Language: en
Pages: 139
Authors: Ron van der Meyden
Categories: Computers
Type: BOOK - Published: 2011-05-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, U
Handbook of Model Checking
Language: en
Pages: 1210
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2018-05-18 - Publisher: Springer

DOWNLOAD EBOOK

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit
Systems and Software Verification
Language: en
Pages: 188
Authors: B. Berard
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counte