| Current Publications | • Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. Performance Evaluation Methodologies and ToolsLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2024 online | j_stue18@uni-muenster.de |
| Phone | +49 251 83- |
| Room | 201 a |
| Secretary | Sekretariat Sichma Frau Katharina Sichma Telefon +49 251 83-32700 Zimmer 604b |
| Address | Herr Jonas Stübbe Institut für Informatik Fachbereich Mathematik und Informatik der Universität Münster Einsteinstrasse 62 48149 Münster Deutschland |
| Diese Seite editieren |