Fig. 1
From: Reachability-based model reduction for Markov decision process
Refinement 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 blocks