@inproceedings {129,
	title = {ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems},
	booktitle = {IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},
	year = {2021},
	doi = {https://doi.org/10.1016/j.ifacol.2021.08.470},
	author = {Yinan Li and Zhibing Sun and Jun Liu}
}
