| Title | ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Li, Y., and J. Liu |
| Conference Name | ACM International Conference on Hybrid Systems: Computation and Control (HSCC) |
| DOI | 10.1145/3178126.3178153 |
Related files:
