Jonas Stübbe

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

Collaborative distances:

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

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