Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems

Publication
IEEE Open Journal of Control Systems