Meng, Y., Li, Y., & Liu, J. (2021). Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model Presented at the Control of Nonlinear Systems With Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach With an Application to the Moore-Greizer Model conference. https://doi.org/https://doi.org/10.23919/ACC50511.2021.9483376