4 citations · 6 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Average-based Robustness for Continuous-Time Signal Temporal Logic
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…
cs.RO2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
We present a new average-based robustness score for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging the sc…