Finite abstractions with robustness margins for temporal logic-based control synthesis

Title Finite abstractions with robustness margins for temporal logic-based control synthesis
Author
Year of Publication
2016
Journal
Nonlinear Analysis: Hybrid Systems
Volume
22
Number of Pages
1\textendash15
DOI
http://dx.doi.org/10.1016/j.nahs.2016.02.002
Download citation