21-10-2024, 02:04 PM
![[Image: fbc2a3a4be955f0759f04d4ff930ebdb.jpg]](https://i124.fastpic.org/big/2024/0927/db/fbc2a3a4be955f0759f04d4ff930ebdb.jpg)
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
Code:
https://rapidgator.net/file/3eae7643e4b55ea51924b49a88e54613/Code:
https://nitroflare.com/view/2FC8554B48C9ECF/Code:
https://k2s.cc/file/a4498d2cd66ba

![[+]](https://xossipy.com/themes/sharepoint/collapse_collapsed.png)