Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates
- 7 October 2026
- book chapter
- Published by Springer Nature
- p. 312-329
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Pattern Matching for Perception Streams2023
- Shape Expressions for Specifying and Extracting Signal Features2019
- TeSSLa: Temporal Stream-Based Specification Language2018
- You Only Look Once: Unified, Real-Time Object Detection2016
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Provenance semirings2007
- LOLA: Runtime Monitoring of Synchronous Systems2005
- Monitoring Temporal Properties of Continuous Signals2004
- Monotone Bipartite Graph Properties are EvasiveSIAM Journal on Computing, 1988
- The temporal logic of programs1977