| 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:
