Fig. 6From: Reachability-based model reduction for Markov decision processA SysAdmin partition represented with an ADD. Partition obtained based on the reward function from Fig. 4 Back to article page