Publications

Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe (2025). Maximizing Reachability Probabilities in Rectangular Automata with Random Events.

Alessandro Abate, Omid Akbarzadeh, Henk AP Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Others (2025). Arch-Comp25 Category Report: Stochastic Models.

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer (2025). An Adaptive, Provable Correct Simplex Architecture.

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu (2024). On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective. International Journal on Software Tools for Technology Transfer.

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer (2024). Decidable Reasoning about Time in Finite-Domain Situation Calculus Theories.

Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Others (2023). The Arch-Comp Friendly Verification Competition for Continuous and Hybrid Systems. International TOOLympics Challenge.

Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke (2023). Realyst: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. EAI International Conference on Performance Evaluation Methodologies and Tools.

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer (2023). Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. International Symposium on Model Checking Software.

Carina Da Silva, Stefan Schupp, Anne Remke (2023). Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe Construction.

Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke (2023). Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. International Symposium on Theoretical Aspects of Software Engineering.