@inproceedings {92, title = {ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems}, booktitle = {ACM International Conference on Hybrid Systems: Computation and Control (HSCC)}, year = {2018}, doi = {doi.org/10.1145/3178126.3178153}, author = {Yinan Li and Jun Liu} }