Title | Abstraction, discretization, and robustness in temporal logic control of dynamical systems |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Liu, J., and N. Ozay |
Conference Name | ACM International Conference on Hybrid Systems: Computation and Control (HSCC) |
DOI | 10.1145/2562059.2562137 |
Related files: