Fig. 9From: Reachability-based model reduction for Markov decision processDifferent partitions of S. The first box represents a set of states. The second box is a partition of the first box, and the third box is also a partition of the first box but only over the reachable states given s 0 Back to article page