@misc{indiciaed3a5f4360a25,
  title = {Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties},
  author = {Jun Liu},
  year = {2018},
  doi = {10.1145/3049797.3049826},
  url = {https://arxiv.org/abs/1803.01387},
  note = {Source identifier: 1803.01387}
}