Explainable online monitoring of metric temporal logic
From MaRDI portal
Publication:6536149
DOI10.1007/978-3-031-30820-8_28zbMath1547.68438MaRDI QIDQ6536149
Andrei Herasimau, Simon Yuan, Dmitriy Traytel, L. S. Lima, Martin Raszyk
Publication date: 5 April 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Algorithms for monitoring real-time properties
- Certifying emptiness of timed Büchi automata
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Almost event-rate independent monitoring
- Efficient certified RAT verification
- Monitoring Metric First-Order Temporal Properties
- Constructive Finite Trace Analysis with Linear Temporal Logic
- Multi-head Monitoring of Metric Temporal Logic
- Localizing Faults in Simulink/Stateflow Models with STL
- Verified Certification of Reachability Checking for Timed Automata
- POSIX Regular Expression Parsing with Derivatives
- Fundamental Approaches to Software Engineering
- Efficient verified (UN)SAT certificate checking
- Optimal proofs for linear temporal logic on lasso words
- Multi-head Monitoring of Metric Dynamic Logic
This page was built for publication: Explainable online monitoring of metric temporal logic
