Robust abstractions for control synthesis: Completeness via robustness for linear-time properties
| Title | Robust abstractions for control synthesis: Completeness via robustness for linear-time properties |
|---|---|
| Author | |
| Year of Publication |
2017
|
| Conference Name |
Robust abstractions for control synthesis: Completeness via robustness for linear-time properties
|
| DOI |
10.1145/3049797.3049826
|
| Download citation |