Augmented finite transition systems as abstractions for control synthesis

TitleAugmented finite transition systems as abstractions for control synthesis
Publication TypeJournal Article
Year of Publication2017
AuthorsNilsson, P., N. Ozay, and J. Liu
JournalJournal of Discrete Event Dynamic Systems
Volume27
Start Page301
Pagination301–340
DOI10.1007/s10626-017-0243-z
Related files: