Abstraction, discretization, and robustness in temporal logic control of dynamical systems
| Title | Abstraction, discretization, and robustness in temporal logic control of dynamical systems |
|---|---|
| Author | |
| Year of Publication |
2014
|
| Conference Name |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems
|
| DOI |
http://dx.doi.org/10.1145/2562059.2562137
|
| Download citation |