Fig. 8From: Reachability-based model reduction for Markov decision processA stochastic bisimulation example. An MDP M of five states partitioned in two blocks (upper) that is reduced to an MDP M ′ with two abstract states (lower)Back to article page