| Title | ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Li, Y., Z. Sun, and J. Liu |
| Conference Name | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) |
| DOI | 10.1016/j.ifacol.2021.08.470 |
