Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi. Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 4283-4290, IEEE, 2017. [doi]
Abstract is missing.