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