default search action
MoChArt 2006: Riva del Garda, Italy
- Stefan Edelkamp, Alessio Lomuscio:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.