Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke. RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. In Evangelia Kalyvianaki, Marco Paolieri, editors, Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings. Volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 170-182, Springer, 2023. [doi]
Abstract is missing.