| Title | Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Liu, J. |
| Conference Name | International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) |
| DOI | 10.1007/978-3-030-85037-1_5 |
