@inproceedings{28,
  author = {Yinan Li and Jun Liu},
  title = {ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems},
  year = {2018},
  journal = {A robustly complete control synthesis tool for nonlinear dynamical systems Primary tabs      View},
  doi = {doi.org/10.1145/3178126.3178153},
}