↓ Skip to main content
What is this page? Embed badge

Model Checking and Artificial Intelligence

Overview of attention for book
Cover of 'Model Checking and Artificial Intelligence'

Table of Contents

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

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.