Fig. 4From: Reachability-based model reduction for Markov decision processReward function represented as an ADD. The same reward function from Fig. 3 represented as an ADDBack to article page