Book Volume 7550 2012

Reachability Problems

6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Editors:

ISBN: 978-3-642-33511-2 (Print) 978-3-642-33512-9 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-5

    Fraenkel-Mostowski Sets with Non-homogeneous Atoms

  3. No Access

    Chapter and Conference Paper

    Pages 6-20

    Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata

  4. No Access

    Chapter and Conference Paper

    Pages 21-28

    Decision Problems for Linear Recurrence Sequences

  5. No Access

    Chapter and Conference Paper

    Pages 29-41

    Playing Games with Counter Automata

  6. No Access

    Chapter and Conference Paper

    Pages 42-53

    LTL-Model-Checking via Model Composition

  7. No Access

    Chapter and Conference Paper

    Pages 54-65

    On the Relationship between Reachability Problems in Timed and Counter Automata

  8. No Access

    Chapter and Conference Paper

    Pages 66-78

    Smooth Sand Piles

  9. No Access

    Chapter and Conference Paper

    Pages 79-91

    Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis

  10. No Access

    Chapter and Conference Paper

    Pages 92-106

    Robustness of Time Petri Nets under Guard Enlargement

  11. No Access

    Chapter and Conference Paper

    Pages 107-120

    Efficient Probabilistic Model Checking of Systems with Ranged Probabilities

  12. No Access

    Chapter and Conference Paper

    Pages 121-136

    On the Length of Knot Transformations via Reidemeister Moves I and II

  13. No Access

    Chapter and Conference Paper

    Pages 137-148

    Invariants for LTI Systems with Uncertain Input

  14. Back Matter

    Pages -