TY  - RPRT
TI  - A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
AU  - Yinan Li
AU  - Zhibing Sun
AU  - Jun Liu
PY  - 2022
DO  - 10.1109/tac.2022.3168489
UR  - https://arxiv.org/abs/2104.01385
ID  - 2104.01385
ER  -