12th International Conference on Reachability Problems
24 - 26 September 2018, Marseille, France
Home
Registration
Invited Speakers
Accepted Papers
Program
Proceedings
Submission
Committees
Travel and Accommodation
Local Info
Organisers
Past RPs
Accepted Papers
The following papers have been accepted for publication at RP 2018.
- Julien Alexandre Dit Sandretto and Jian Wan. Reachability Analysis of Nonlinear ODEs using Polytopic based Validated Runge-Kutta
- Michał Skrzypczak. Buchi VASS recognise Sigma^1_1-complete w-languages
- Steven De Oliveira, Virgile Prevosto, Peter Habermehl and Saddek Bensalem. Left-eigenvectors are certificates of the Orbit Problem
- Markus Lohrey. Knapsack in hyperbolic groups
- Alexei Lisitsa. Revisiting MU-puzzle. A case study in finite countermodels verification
- Jeremy Sproston. Qualitative Reachability for Open Interval Markov Chains
- Matthew Hague and Vincent Penelle. Constrained Dynamic Tree Networks
- Turlough Neary and Matthew Cook. Generalized Tag Systems
- Petr Jancar, Petr Osička and Zdenek Sawa. EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets
- Momar Sakho, Iovka Boneva and Joachim Niehren. Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams
- Joel Day, Vijay Ganesh, Paul He, Florin Manea and Dirk Nowotka. The Satisfiability of Word Equations: Decidable and Undecidable Theories
Informal Presentations
- Raffaele Soloperto and Frank Allgöwer. On the Significance of Reachability Problems in Learning-Based Robust Model Predictive Control
- Costanza Catalano and Raphaël M. Jungers. Primitivity of random matrix sets and the synchronizing probability function
- Patrick Totzke. News on Safety Properties for Timed Petri Nets
- Stefan Kiefer and Corto Mascle. On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words
- Sang-Ki Ko, Reino Niskanen, Igor Potapov. Reachability Problems in Nondeterministic Polynomial Maps on the Integers
- Paul Bell, Igor Potapov and Pavel Semukhin. Mortality problem for bounded languages and linear recurrence sequences
- Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine and James Worrell. Effective Divergence Analysis for Linear Recurrence Sequences
Important dates
Support