Stochastic bisimulation for MDPs using reachability analysis
Felipe Martins dos Santos Leliane Nunes de Barros; Mijail Gamarra Holguin; Brazilian Conference on Intelligent Systems - BRACIS (2013 Fortaleza, Ceará)
Proceedings Piscataway : IEEE, 2013Piscataway IEEE 2013
Localização: IME - Inst. Matemática e Estatística (PROD-3005684 )(Acessar)