Fig. 10From: Reachability-based model reduction for Markov decision processPartitions over the set of reachable states given s 0. The partitions \(\mathcal {P}_{1}\) and \(\mathcal {P}_{2}\) of Fig. 7 are multiplied by the resulting partition \(\mathcal {P}^{S|s_{0}}_{\textit {DD}}\), resulting in \(\mathcal {Q}_{1}\) and \(\mathcal {Q}_{2}\) Back to article page