17 citations · 44 across the 4 of their papers we have counts for
1 paper · 1 filter
L. Brim, T. Vejpustek, D. Šafránek +1
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL…