@inproceedings{57,
  author = {Jun Liu and Necmiye Ozay},
  title = {Abstraction, discretization, and robustness in temporal logic control of dynamical systems},
  year = {2014},
  journal = {Abstraction, discretization, and robustness in temporal logic control of dynamical systems},
  doi = {http://dx.doi.org/10.1145/2562059.2562137},
}