Qualitative Reachability for Open Interval Markov Chains

Jeremy Sproston

Interval Markov chains extend classical Markov chains with the possibility to describe transition probabilities using intervals, rather than exact values. While the standard formul…