Title | Augmented finite transition systems as abstractions for control synthesis |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Nilsson, P., N. Ozay, and J. Liu |
Journal | Journal of Discrete Event Dynamic Systems |
Volume | 27 |
Start Page | 301 |
Pagination | 301–340 |
DOI | 10.1007/s10626-017-0243-z |
Related files: