@inproceedings{10,
  author = {Yinan Li and Zhibing Sun and Jun Liu},
  title = {ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems},
  year = {2021},
  journal = {An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems},
  doi = {https://doi.org/10.1016/j.ifacol.2021.08.470},
}