Accepted Papers
Regular Papers
- Duncan Adamson, Pamela Fleischmann and Annika Huch. Rollercoasters with Plateaus
- Andrea Benso, Flavio Dalessandro and Paolo Papi. Quantum automata and languages of finite index
- Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler. Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
- Florian Bruse and Martin Lange. Computing All Minimal Ways to Reach a Context-Free Language
- Johanne Cohen, Emmanuel Goutierre, Hayg Guler, Fotios Kapotos, Sida-Bastien Li, Michèle Sébag and Bowen Zhu. Modelling dynamical systems: Learning ODEs with no internal ODE resolution
- Pierre Ganty, Nicolas Manini and Francesco Ranzato. Computing Reachable Simulations on Transition Systems
- Mika Hirvensalo, Akitoshi Kawamura, Igor Potapov and Takao Yuyama. Reachability in Linear Recurrence Automata
- Misaki Kojima and Naoki Nishida. On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness
- Nikhil Pimpalkhare and Zachary Kincaid. Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability
- Gwendal Priser, Elena Vanneaux and Goran Frehse. Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems
- Andrew Ryzhikov. On shortest products for nonnegative matrix mortality
- Tristan Stérin and Damien Woods. Hardness of busy beaver value BB(15)
- Olga Tveretina. On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps
