8 citations · 16 across the 8 of their papers we have counts for
1 paper · 1 filter
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
We propose a new robustness score for continuous-time Signal Temporal Logic (STL) specifications. Instead of considering only the most severe point along the evolution of the signa…