TY  - RPRT
TI  - Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications
AU  - Yiming Meng
AU  - Yinan Li
AU  - Maxwell Fitzsimmons
AU  - Jun Liu
PY  - 2021
UR  - https://arxiv.org/abs/2009.04432
ID  - 2009.04432
ER  -