Robust abstractions for control synthesis: Completeness via robustness for linear-time properties

TitleRobust abstractions for control synthesis: Completeness via robustness for linear-time properties
Publication TypeConference Paper
Year of Publication2017
AuthorsLiu, J.
Conference NameACM International Conference on Hybrid Systems: Computation and Control (HSCC)
DOI10.1145/3049797.3049826
Related files: 
PDF icon PDF