@article {50,
	title = {Finite abstractions with robustness margins for temporal logic-based control synthesis},
	journal = {Nonlinear Analysis: Hybrid Systems},
	volume = {22},
	year = {2016},
	pages = {1{\textendash}15},
	doi = {http://dx.doi.org/10.1016/j.nahs.2016.02.002},
	author = {Jun Liu and Necmiye Ozay}
}
