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 […]