Reachability-based model reduction for Markov decision process. - Felipe M. Santos; Leliane N. de Barros; Felipe W. Trevizan (J. Braz. Comput. Soc., 2015)