Model checking and artificial intelligence

InhaltsverzeichnisA 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.