8 citations · 16 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci +1
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Lo…
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…