Augmented finite transition systems as abstractions for control synthesis
| Title | Augmented finite transition systems as abstractions for control synthesis |
|---|---|
| Author | |
| Year of Publication |
2017
|
| Journal |
Journal of Discrete Event Dynamic Systems
|
| Volume |
27
|
| Start Page |
301
|
| Number of Pages |
301\textendash340
|
| DOI |
https://doi.org/10.1007/s10626-017-0243-z
|
| Download citation |