Formal safety verification of non-deterministic systems based on probabilistic reachability computation. - Yuminghao Xiao; Tianbing Xia; Hongdong Wang (Syst. Control. Lett., 2025)