Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions | IEEE Journals & Magazine | IEEE Xplore