Yiming Meng, Jun Liu: Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. ACC 2022: 2283-2288