12th International Conference on Reachability Problems

      24 - 26 September 2018, Marseille, France

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