Fig. 7From: Reachability-based model reduction for Markov decision processRefinement of partitions with ADDs. Refinement of partitions \(\mathcal {P}_{1}\) and \(\mathcal {P}_{2}\) from Fig. 1, computed using the product \(\mathcal {P}_{1} \otimes \mathcal {P}_{2}\) Back to article page