ESE Ph.D. Thesis Defense – “Robustness of Temporal Logics with Applications to Safe Autonomy”
Zoom - Meeting ID 564 482 9525Signal Temporal Logic (STL) is a common way to express a broad range of real-time constraints that can be imposed on control systems. Spatial robustness of STL specifications, quantifying permissible spatial perturbations, has been widely studied in the literature. However, despite the importance of various time-critical systems, temporal robustness of STL has not yet been […]