1 paper · 1 filter
Alper Kamil Bozkurt, Shangtong Zhang, Yuichi Motai
Signal temporal logic (STL) provides a formal language for specifying real-time properties of real-valued observations, along with a quantitative robustness score for monitoring sa…