Fig. 1From: Reachability-based model reduction for Markov decision processRefinement of partitions. Refinement of partitions \(\mathcal {P}_{1}\) with two blocks and \(\mathcal {P}_{2}\), with three blocks. The refinement result is given by \(\mathcal {P}_{1} \cap \mathcal {P}_{2}\), a partition with six blocksBack to article page