RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. - Joanna Delicaris; Jonas Stübbe; Stefan Schupp; Anne Remke (VALUETOOLS, 2023)

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)