A new sound robustness score for continuous-time STL, AGIM, uses arithmetic and geometric integral means over all subformulae and times, and is demonstrated on falsification and multi-agent synthesis.
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
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 scores of different specifications or subformulae at different time points, our new definition highlights the frequency of satisfaction, as well as how robustly each specification is satisfied at each time point. We show that this definition provides a better score for how well a specification is satisfied. Its usefulness in monitoring and control synthesis problems is illustrated through case studies.
citation-role summary
extension 1
citation-polarity summary
fields
cs.FL 1years
2019 1verdicts
CONDITIONAL 1roles
extension 1polarities
extend 1representative citing papers
citing papers explorer
-
Average-based Robustness for Continuous-Time Signal Temporal Logic
A new sound robustness score for continuous-time STL, AGIM, uses arithmetic and geometric integral means over all subformulae and times, and is demonstrated on falsification and multi-agent synthesis.