Fig. 2From: Reachability-based model reduction for Markov decision processA sequence of refinements. A partition with one block is refined until it reaches five blocks. Note that each refinement imply in a new partition that have at least the same number of blocksBack to article page