@inproceedings {123, title = {Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability}, booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)}, year = {2021}, doi = {https://doi.org/10.1007/978-3-030-85037-1_5}, author = {Liu, J.} }