Model Checking and Artificial Intelligence
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
-
Altmetric BadgeChapter 2 Verifying Space and Time Requirements for Resource-Bounded Agents
-
Altmetric BadgeChapter 3 Automated Creation of Pattern Database Search Heuristics
-
Altmetric BadgeChapter 4 Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
-
Altmetric BadgeChapter 5 Real-Time Model Checking on Secondary Storage
-
Altmetric BadgeChapter 6 Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
-
Altmetric BadgeChapter 7 Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
-
Altmetric BadgeChapter 8 Symbolic Model Checking of Logics with Actions
-
Altmetric BadgeChapter 9 A Framework for Model Checking Institutions
-
Altmetric BadgeChapter 10 SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
-
Altmetric BadgeChapter 11 Distributed Extended Beam Search for Quantitative Model Checking