PROGRAM
Days: Wednesday, September 25th Thursday, September 26th Friday, September 27th
Wednesday, September 25th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 2: Opening and Invited Talk
Chair:
| 09:00 | Welcome to RP 2024! PRESENTER: Laura Kovacs |
| 09:30 | Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 3: Computability and Reachability
Chair:
| 11:00 | Computing Reachable Simulations on Transition Systems (abstract)  PRESENTER: Nicolas Manini |
| 11:30 | Computing All Minimal Ways to Reach a Context-Free Language (abstract) PRESENTER: Martin Lange |
| 12:00 | On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness (abstract) PRESENTER: Misaki Kojima |
12:30-14:00Lunch Break
14:00-16:00 Session 4: Complexity and Decidability
Chair:
| 14:00 | Rollercoasters with Plateaus (abstract) PRESENTER: Annika Huch |
| 14:30 | On shortest products for nonnegative matrix mortality (abstract) |
| 15:00 | Hardness of busy beaver value BB(15) (abstract) PRESENTER: Tristan Stérin |
| 15:30 | Smoothed analysis of deterministic discounted and mean-payoff games (abstract) PRESENTER: Mateusz Skomra |
| 15:45 | The 2-Dimensional Constraint Loop Problem is Decidable (abstract) PRESENTER: Quentin Guilmant |
16:00-16:30Coffee Break
16:30-18:00 Session 5: Invited Tutorial
Chair:
| 16:30 | Solving Parity and Rabin games by Constructing Universal Trees (abstract) |
Thursday, September 26th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 6: Invited Talk and Short Presentation
Chair:
| 09:00 | The Satisfiability and Validity Problems for Probabilistic CTL (abstract) |
| 10:00 | The Revised Practitioner's Guide to MDP Model Checking Algorithms (abstract) PRESENTER: Maximilian Weininger |
10:30-11:00Coffee Break
11:00-12:30 Session 7: Linear Systems and Recurrences
Chair:
| 11:00 | On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps (abstract) |
| 11:30 | Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability (abstract) PRESENTER: Nikhil Pimpalkhare |
| 12:00 | Reachability in Linear Recurrence Automata (abstract) PRESENTER: Igor Potapov |
12:30-14:00Lunch Break
14:00-15:30 Session 8: Automata
Chair:
| 14:00 | Safety and Liveness of Quantitative Properties and Automata (abstract) PRESENTER: N. Ege Saraç |
| 14:15 | MITL Model Checking via Generalized Timed Automata and a new Liveness Algorithm (abstract) PRESENTER: R Govind |
| 14:30 | Quantum automata and languages of finite index (abstract) PRESENTER: Flavio Dalessandro |
| 15:00 | Verifying Unboundedness via Amalgamation (abstract) PRESENTER: Lia Schütze |
| 15:15 | Preservation of Rationality in Infinitary Rewriting by Top-Down Tree Transducers (abstract) PRESENTER: Takahito Aoto |
15:30-16:00Coffee Break
16:00-17:00 Session 9: Invited Talk
Chair:
| 16:00 | Programmatic Synthesis for Infinite MDPs Using Program Refinement (abstract) |
17:30-22:00 Social program with dinner
We meet at 5:30pm (sharp!) at the Tram STOP KARLSPLATZ in front of the Otto Wagner - Pavillon, for a Vintage Tram Tour in Vienna, visiting the historical places in Vienna and going to Grinzing.
Dinner is at 7pm in Heuriger Bio-Weinbau & Heurigenschank „ZUM BERGER“ Himmelstrasse 19 A – 1190 Wien.
Friday, September 27th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 10: Invited Talk and Short Presentation
Chair:
| 09:00 | Proofs as Polynomials (abstract) |
| 10:00 | The Calculus of Dual Influence (abstract) PRESENTER: Martin Lange |
10:30-11:00Coffee Break
11:00-12:30 Session 11: Games
Chair:
| 11:00 | Bidding Games with Charging (abstract) PRESENTER: Ehsan Kafshdar Goharshady |
| 11:15 | Playing Games with your PET: Solving Stochastic Games, Reliably (abstract) PRESENTER: Tobias Meggendorfer |
| 11:30 | Markov Decision Processes with Sure Parity and Multiple Reachability Objectives (abstract)  PRESENTER: Raphaël Berthon |
| 12:00 | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights (abstract) PRESENTER: Ali Asadi |
| 12:15 | Innaproximability in Weighted Timed Games (abstract) PRESENTER: Quentin Guilmant |
12:30-14:00Lunch Break
14:00-16:00 Session 12: Abstractions and Dynamical Systems
Chair:
| 14:00 | Exploring Consensus Robustness in Swarms with Disruptive Individuals (abstract) PRESENTER: Tatjana Petrov |
| 14:15 | Abstraction-Based Decision Making for Statistical Properties (abstract) PRESENTER: Konstantin Kueffner |
| 14:30 | Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems (abstract) PRESENTER: Gwendal Priser |
| 15:00 | Modelling dynamical systems: Learning ODEs with no internal ODE resolution (abstract) PRESENTER: Fotios Kapotos |
| 15:30 | The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters (abstract) |
| 15:45 | Simple Linear Loops: Algebraic Invariants and Synthesis (abstract) PRESENTER: Anton Varonka |
16:00-16:30Presentation of RP 2025, Closing and Coffee