@inproceedings{17,
  author = {J. Liu},
  title = {Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability},
  year = {2021},
  journal = {Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability},
  doi = {https://doi.org/10.1007/978-3-030-85037-1_5},
}