Jonas Stübbe

According to our database, Jonas Stübbe authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks.

Jonas Stübbe, Anne Remke, Erika Ábrahám

CoRR, August, 2025

Maximizing reachability probabilities in rectangular automata with random events.

Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe

Sci. Comput. Program., 2025

2023

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.

Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023