Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability wit Safety Constraints and Reach-Avoid-Stay Specifications

Y. Meng, Y. Li, M. Fitzzsimmons, J. Liu

May, 2022