Stochastic Bisimulation for MDPs Using Reachability Analysis. - Felipe Martins dos Santos; Leliane Nunes de Barros; Mijail Gamarra Holguin (BRACIS, 2013)