Li, Y. ., Sun, Z. ., & Liu, J. . (2021). ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. Presented at the. https://doi.org/https://doi.org/10.1016/j.ifacol.2021.08.470