Jun Liu. Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 101-110, ACM, 2017. [doi]
@inproceedings{Liu17-31,
title = {Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties},
author = {Jun Liu},
year = {2017},
doi = {10.1145/3049797.3049826},
url = {http://doi.acm.org/10.1145/3049797.3049826},
researchr = {https://researchr.org/publication/Liu17-31},
cites = {0},
citedby = {0},
pages = {101-110},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017},
editor = {Goran Frehse and Sayan Mitra},
publisher = {ACM},
isbn = {978-1-4503-4590-3},
}