Explainable online monitoring of metric temporal logic
From MaRDI portal
Publication:6536149
Recommendations
Cites work
- Algorithms for monitoring real-time properties
- Almost event-rate independent monitoring
- Certifying emptiness of timed Büchi automata
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Constructive finite trace analysis with linear temporal logic
- Efficient certified RAT verification
- Efficient verified (UN)SAT certificate checking
- Fundamental Approaches to Software Engineering
- Localizing Faults in Simulink/Stateflow Models with STL
- Monitoring metric first-order temporal properties
- Multi-head Monitoring of Metric Dynamic Logic
- Multi-head monitoring of metric temporal logic
- Optimal proofs for linear temporal logic on lasso words
- POSIX regular expression parsing with derivatives
- Verified certification of reachability checking for timed automata
This page was built for publication: Explainable online monitoring of metric temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536149)