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