@misc{indiciae11c1b62e7c75,
  title = {A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems},
  author = {Yinan Li and Zhibing Sun and Jun Liu},
  year = {2022},
  doi = {10.1109/tac.2022.3168489},
  url = {https://arxiv.org/abs/2104.01385},
  note = {Source identifier: 2104.01385}
}