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, 170-182. Cham: Springer. doi:10.1007/978-3-031-48885-6_11
Research article in edited proceedings (conference) | Peer reviewed | Published