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 BibTeX

Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti:
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. 1-18
Electronic Edition (link) BibTeX
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents. 19-34
Electronic Edition (link) BibTeX
Stefan Edelkamp:
Automated Creation of Pattern Database Search Heuristics. 35-50
Electronic Edition (link) BibTeX
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. 51-66
Electronic Edition (link) BibTeX
Stefan Edelkamp, Shahid Jabbar:
Real-Time Model Checking on Secondary Storage. 67-83
Electronic Edition (link) BibTeX
Tadashi Araragi, Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. 84-94
Electronic Edition (link) BibTeX
Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny:
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. 95-112
Electronic Edition (link) BibTeX
Charles Pecheur, Franco Raimondi:
Symbolic Model Checking of Logics with Actions. 113-128
Electronic Edition (link) BibTeX
Francesco Viganò:
A Framework for Model Checking Institutions. 129-145
Electronic Edition (link) BibTeX
Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny:
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. 146-165
Electronic Edition (link) BibTeX
Anton Wijs, Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking. 166-184
Electronic Edition (link) BibTeX