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