University of Münster
CRIS@UM
DE | EN

Jonas Stübbe

Current affiliations

  • Professorship for practical computer science (Prof. Remke)

Publications

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024)
In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools. Cham: Springer.
Type of Publication: Research article in edited proceedings (conference)