Felipe Martins dos Santos, Leliane Nunes de Barros, Mijail Gamarra Holguin. Stochastic Bisimulation for MDPs Using Reachability Analysis. In Brazilian Conference on Intelligent Systems, BRACIS 2013, Fortaleza, CE, Brazil, 19-24 October, 2013. pages 213-218, IEEE, 2013. [doi]
Abstract is missing.