@proceedings {13931,
	title = {ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems},
	journal = {The 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC {\textquoteright}18},
	year = {2018},
	pages = {130-135},
	address = {Porto, Portugal, 11-13 April, 2018},
	url = {http://doi.org/10.1145/3178126.3178153},
	author = {Li, Yinan and Liu, Jun}
}
