ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems
| Title | ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems |
|---|---|
| Author | |
| Year of Publication |
2021
|
| Conference Name |
An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems
|
| DOI |
https://doi.org/10.1016/j.ifacol.2021.08.470
|
| Download citation |