Reachability-based model reduction for Markov decision process - Santos, Felipe Martins dos; Barros, Leliane Nunes de; Trevizan, Felipe Werndl (Journal of the Brazilian Computer Society, 2015)