1 citations · 1 across the 14 of their papers we have counts for
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…