E-Book, Englisch, Band 4428, 185 Seiten, eBook
Edelkamp / Lomuscio Model Checking and Artificial Intelligence
2007
ISBN: 978-3-540-74128-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
E-Book, Englisch, Band 4428, 185 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-74128-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.- Verifying Space and Time Requirements for Resource-Bounded Agents.- Automated Creation of Pattern Database Search Heuristics.- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.- Real-Time Model Checking on Secondary Storage.- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.- Symbolic Model Checking of Logics with Actions.- A Framework for Model Checking Institutions.- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.- Distributed Extended Beam Search for Quantitative Model Checking.
