4 papers
Specifying User Preferences using Weighted Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
We extend Signal Temporal Logic (STL) to enable the specification of importance and priorities. The extension, called Weighted STL (wSTL), has the same qualitative (Boolean) semant…
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…
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…
Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, Calin Belta
This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of…