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