↓ 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 6: Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
Chapter number 6
Book title
Model Checking and Artificial Intelligence
Published by
Springer, Berlin, Heidelberg, August 2006
DOI 10.1007/978-3-540-74128-2_6
Book ISBNs
978-3-54-074127-5, 978-3-54-074128-2
Authors

Tadashi Araragi, Seung Mo Cho, Araragi, Tadashi, Cho, Seung Mo

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%

This page is provided by Altmetric.