Fig. 11From: Reachability-based model reduction for Markov decision processRefinement of partitions considering reachable states. The same computation of Fig. 7, but considering that we have information of the initial state and the reachability partition (computed in Fig. 10)Back to article page