Zamani, M., Esfahani, P. M., Majumdar, R., Abate, A., & Lygeros, J. (2014). Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Transactions on Automatic Control, 59(12), 3135-3150. doi:10.1109/TAC.2014.2351652.