Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence

[Panter]

Stefan Edelkamp and Alessio Lomuscio - LNAI 4428 - Model Checking and Artificial Intelligence
English | 2007 | Springer | ISBN: 9783540741275 (ISBN10: 3540741275) | 194 pages | PDF | 3 MB

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

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.


2a8a80f42704b08af8f18ee44267561c
Download from RapidGator

Show Content

Spoiler
https://rapidgator.net/file/3eae7643e4b5...a88e54613/

Download from NitroFlare

Show Content

Spoiler
https://nitroflare.com/view/2FC8554B48C9ECF/

Download from Keep2Share

Show Content

Spoiler
https://k2s.cc/file/a4498d2cd66ba