A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Average-based Robustness for Continuous-Time Signal Temporal Logic
[article]
2019
arXiv
pre-print
Preserved Fulltext
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.
arXiv:1909.00898v1
fatcat:ktfj3c4owjbrnlqjxnbk2yjdwi