Stochastic hybrid automata (SHA) are a powerful tool to evaluate the dependability and safety of critical infrastructures. However, resolution nondeterminism, which is present in many purely models, often only implicitly considered SHA. This paper instead proposes algorithms for computing maximum minimum reachability probabilities singular with urgent transitions random clocks follow arbitrary ...