probabilisticReachability