| Title | Finite abstractions with robustness margins for temporal logic-based control synthesis |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Liu, J., and N. Ozay |
| Journal | Nonlinear Analysis: Hybrid Systems |
| Volume | 22 |
| Pagination | 1–15 |
| DOI | 10.1016/j.nahs.2016.02.002 |
Related files:
