Online causation monitoring of signal temporal logic
From MaRDI portal
Publication:6535627
DOI10.1007/978-3-031-37706-8_4zbMATH Open1547.68463MaRDI QIDQ6535627
Paolo Arcaini, Jie An, Zhenya Zhang, Ichiro Hasuo
Publication date: 1 February 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Robustness of temporal logic specifications for continuous-time signals
- Quantitative monitoring of STL with edit distance
- Clairvoyant monitoring for signal temporal logic
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- A brief account of runtime verification
- Robust online monitoring of signal temporal logic
- Powertrain control verification benchmark
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Trace Diagnostics Using Temporal Implicants
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Localizing Faults in Simulink/Stateflow Models with STL
- Monitoring of Real-Time Properties
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
This page was built for publication: Online causation monitoring of signal temporal logic
