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

Reachability Problems

Overview of attention for book
Cover of 'Reachability Problems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reasoning About Cost-Utility Constraints in Probabilistic Models
  3. Altmetric Badge
    Chapter 2 Integer-Complete Synthesis for Bounded Parametric Timed Automata
  4. Altmetric Badge
    Chapter 3 Polynomial Interrupt Timed Automata
  5. Altmetric Badge
    Chapter 4 Irregular Behaviours for Probabilistic Automata
  6. Altmetric Badge
    Chapter 5 Reachability in Succinct One-Counter Games
  7. Altmetric Badge
    Chapter 6 On Reachability-Related Games on Vector Addition Systems with States
  8. Altmetric Badge
    Chapter 7 A Topological Method for Finding Invariant Sets of Continuous Systems
  9. Altmetric Badge
    Chapter 8 The Ideal View on Rackoff’s Coverability Technique
  10. Altmetric Badge
    Chapter 9 Synthesis Problems for One-Counter Automata
  11. Altmetric Badge
    Chapter 10 On Boundedness Problems for Pushdown Vector Addition Systems
  12. Altmetric Badge
    Chapter 11 Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial
  13. Altmetric Badge
    Chapter 12 Over-Approximating Terms Reachable by Context-Sensitive Rewriting
  14. Altmetric Badge
    Chapter 13 Reducing Bounded Realizability Analysis to Reachability Checking
  15. Altmetric Badge
    Chapter 14 Rearranging Two Dimensional Arrays by Prefix Reversals
  16. Altmetric Badge
    Chapter 15 The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets
Attention for Chapter 4: Irregular Behaviours for Probabilistic Automata
Altmetric Badge

Citations

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

3

The most recent citing publications are shown below. View all 3 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.