Explainable online monitoring of metric temporal logic

DOI10.1007/978-3-031-30820-8_28zbMATH Open1547.68438MaRDI QIDQ6536149FDOQ6536149

Authors: L. S. Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan 

Publication date: 5 April 2024

Recommendations

• Computer says no: verdict explainability for runtime monitors using a local proof system
• On monitoring linear temporal properties
• Multi-head monitoring of metric temporal logic
• Monitoring metric first-order temporal properties
• Runtime monitoring of metric first-order temporal properties

zbMATH Keywords

metric temporal logicformal verificationcertificationproof systemruntime monitoringexplanations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Fundamental Approaches to Software Engineering
• Algorithms for monitoring real-time properties
• Monitoring metric first-order temporal properties
• Verified certification of reachability checking for timed automata
• Certifying emptiness of timed Büchi automata
• Efficient certified RAT verification
• Multi-head Monitoring of Metric Dynamic Logic
• Constructive finite trace analysis with linear temporal logic
• Computer says no: verdict explainability for runtime monitors using a local proof system
• Optimal proofs for linear temporal logic on lasso words
• Almost event-rate independent monitoring
• Localizing Faults in Simulink/Stateflow Models with STL
• POSIX regular expression parsing with derivatives
• Efficient verified (UN)SAT certificate checking
• Multi-head monitoring of metric temporal logic

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)