@inproceedings{37,
  author = {Jun Liu},
  title = {Robust abstractions for control synthesis: Completeness via robustness for linear-time properties},
  year = {2017},
  journal = {Robust abstractions for control synthesis: Completeness via robustness for linear-time properties},
  doi = {10.1145/3049797.3049826},
}