MoChArt 2006:
Riva del Garda,
Italy
Stefan Edelkamp, Alessio Lomuscio (Eds.):
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers.
Lecture Notes in Computer Science 4428 Springer 2007, ISBN 978-3-540-74127-5 
- Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti:
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.
1-18
- Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents.
19-34
- Stefan Edelkamp:
Automated Creation of Pattern Database Search Heuristics.
35-50
- Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
51-66
- Stefan Edelkamp, Shahid Jabbar:
Real-Time Model Checking on Secondary Storage.
67-83
- Tadashi Araragi, Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.
84-94
- Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny:
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.
95-112
- Charles Pecheur, Franco Raimondi:
Symbolic Model Checking of Logics with Actions.
113-128
- Francesco Viganò:
A Framework for Model Checking Institutions.
129-145
- Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny:
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.
146-165
- Anton Wijs, Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking.
166-184
Copyright © Mon Nov 2 20:59:48 2009
by Michael Ley (ley@uni-trier.de)
