Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods

Publication
Proceedings of the IEEE Conference on Decision and Control (CDC)