Reachability Problems

Invited Papers.- Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach.-The Satis ability and Validity Problems for Probabilistic CTL.-Computability and Reachability.- Computing Reachable Simulations on Transition Systems.- Computing All Minimal Ways to Reach a Context-Free Language.- On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness.- Automata and Complexity.- Rollercoasters with Plateaus.- Quantum Automata and Languages of Finite Index.- On Shortest Products for Nonnegative Matrix Mortality.- Hardness of Busy Beaver Value BB(15).- Linear Systems and Recurrences.- On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps.- Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability.-Reachability in Linear Recurrence Automata.- Games and Abstractions.- Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems.- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.- Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution.