Fig. 5
From: Reachability-based model reduction for Markov decision process
A partition represented as an ADD and its DNF expression. A partition \(\mathcal {P}\) of a set of states S in which the blocks are represented by the set of state variables X={X 1,X 2}. The partition is \(\mathcal {P} = \{(X_{1} \wedge X_{2}, 2), ((X_{1} \wedge \neg X_{2}) \vee (\neg X_{1} \wedge \neg X_{2}), 3), (\neg X_{1} \wedge X_{2}, 5)\}\)