Citation:
Li, Y. , & Liu, J. . (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems. The 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18. Retrieved from http://doi.org/10.1145/3178126.3178153
