9th International Workshop on Reachability Problems
21 - 23 September 2015, Warsaw, Poland
List of Accepted Papers
Irregular Behaviours for Probabilistic Automata
Over-Approximating Terms Reachable by Context-Sensitive Rewriting
Rearranging Two Dimensional Arrays by Prefix Reversals
Synthesis Problems for One-Counter Automata
A Topological Method for finding Invariants of Continuous Systems
The Emptiness Problem for Valence Automata Over Graph Monoids or: Another Extension of Petri Nets With Decidable Reachability
The Ideal View on Rackoff's Coverability Technique
Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial
Reducing Bounded Realizability Analysis to Reachability Checking
On Boundedness Problems for Pushdown Vector Addition Systems
Reachability in Succinct One-Counter Games
On reachability-related games on vector addition systems with states
Polynomial Interrupt Timed Automata
Almost-Complete Synthesis for Bounded Parametric Timed Automata
Important dates:
Support
We acknowledge the kind support of
