“…Reachability analysis is at the heart of any verification process. The standard form of reachability analysis asks to compute/ approximate the probability of all system paths that start from a given initial state and visit a target state set [17]. Fairness prevents infinite behaviors that are considered unrealistic and are often necessary to establish liveness properties [18].…”