@inproceedings {38,
	title = {Abstraction, discretization, and robustness in temporal logic control of dynamical systems},
	booktitle = {ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
	year = {2014},
	doi = {http://dx.doi.org/10.1145/2562059.2562137},
	author = {Jun Liu and Necmiye Ozay}
}
