Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1302.3868.pdf (Preprint), 3MB
Zamani, M., Esfahani, P. M., Majumdar, R., Abate, A., & Lygeros, J. (2013). Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. Retrieved from http://arxiv.org/abs/1302.3868.