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: