11th International Workshop on Reachability Problems

      7 - 9 September 2017, London, UK

Tutorial

Reachability Problems in Linear Dynamical Systems
James Worrell

Accepted Papers

The following papers have been accepted for publication at RP 2017.

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo and Filippo Ricca
[Online Copy] [Presentation Slides]
Adding Dense-timed Stack to Integer Reset Timed Automata
Devendra Bhave and Shibashis Guha
[Online Copy]
Space-Efficient Fragments of Higher-Order Fixpoint Logic
Florian Bruse, Martin Lange and Etienne Lozes
[Online Copy] [Presentation Slides]
Refinement of Trace Abstraction for Real-Time Programs
Franck Cassez, Peter Gjøl Jensen and Kim Guldstrand Larsen
[Online Copy] [Presentation Slides]
Copyful Streaming String Transducers
Emmanuel Filiot and Pierre-Alain Reynier
[Online Copy] [Presentation Slides]
Model Checking CTL over Restricted Classes of Automatic Structures
Norbert Hundeshagen and Martin Lange
[Online Copy] [Presentation Slides]
Topological Characterisation of Multi-Buffer Simulation
Milka Hutagalung
[Online Copy]
Distributed control synthesis using Euler’s method
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst and Ludovic Chamoin
[Online Copy] [Presentation Slides]
Reachability problem for polynomial iteration is PSPACE-complete
Reino Niskanen
[Online Copy]
Probabilistic Timed Automata with Clock-Dependent Probabilities
Jeremy Sproston
[Online Copy] [Presentation Slides]
Stubborn Sets with Frozen Actions
Antti Valmari
[Online Copy] [Presentation Slides]
Parameterized Graph Connectivity and Polynomial-Time Sub-Linear-Space Short Reductions
Tomoyuki Yamakami
[Online Copy]

Informal Talks

On the input energy for state reachability of linear systems with packet losses
A. Sanand Amita Dilip, Nikolaos Athanasopoulos and Raphaël M. Jungers
[Presentation Slides]
Membership problem in GL(2,Z) extended by singular matrices.
I. Potapov and P. Semukhin
[Presentation Slides]
The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
Tomoyuki Yamakami
On the Identity Problem for the Special Linear Group and the Heisenberg Group
Sang-Ki Ko, Reino Niskanen, Igor Potapov
[Presentation Slides]

Important dates (Provisional):


Nearby

Highlights 2017
Queen Mary
University of London
12-15 September 2017

Support

We acknowledge the kind support of the EATCS