@inproceedings {74,
	title = {Robust abstractions for control synthesis: Completeness via robustness for linear-time properties},
	booktitle = {ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
	year = {2017},
	doi = {10.1145/3049797.3049826},
	author = {Jun Liu}
}
