# Average-based Robustness for Continuous-Time Signal Temporal Logic

arXiv: https://arxiv.org/abs/1909.00898 · HTML: https://mlsanity.com/paper/1909.00898/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 3 Sep 2019.

## Built on by (most cited first, 1 of 1)

- [Reinforcement Learning Agent Training with Goals for Real World Tasks](https://mlsanity.com/paper/2107.10390/) (2021)

## Abstract (arXiv)

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 signal, we use average scores to extract more information from the signal, emphasizing robust satisfaction of all the specifications' subformulae over their entire time interval domains. We demonstrate the advantages of this new score in falsification and control synthesis problems in systems with complex dynamics and multi-agent systems.