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