Email zadetek: Qualitative reachability for open interval Markov chains