@inproceedings{inproceedingsa8bec820,
title   = {Stochastic bisimulation for MDPs using reachability analysis},
author = {Santos, Felipe Martins dos and Barros, Leliane Nunes de and Gamarra Holguin, Mijail},
year = {2013},
doi = {10.1109/BRACIS.2013.43},
publisher = {IEEE},
booktitle   = {Brazilian Conference on Intelligent Systems - BRACIS}
}