Yiming Meng, Jun Liu 0015. Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. In American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022. pages 2283-2288, IEEE, 2022. [doi]
Abstract is missing.