@inproceedings{13, author = {Yiming Meng and Yinan Li and Jun Liu}, title = {Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model}, year = {2021}, journal = {Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model}, doi = {https://doi.org/10.23919/ACC50511.2021.9483376}, }