Multi-head monitoring of metric temporal logic

DOI10.1007/978-3-030-31784-3_9MaRDI QIDQ3297591zbMATH OpenOpenAlexFDO

Authors Martin Raszyk, Srđan Krstić, Dmitriy Traytel, David Basin

Publication date 20 July 2020

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/20.500.11850/375995

Mathematics Subject Classification ID

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

Recommendations

• Multi-head Monitoring of Metric Dynamic Logic
• scientific article; zbMATH DE number 7056237
• Almost event-rate independent monitoring of metric temporal logic
• Monitoring temporal logic with clock variables
• Runtime monitoring of metric first-order temporal properties

Cites work

• A note on semilinear sets and bounded-reversal multihead pushdown automata
• Algorithms for monitoring real-time properties
• Almost event-rate independent monitoring
• Almost event-rate independent monitoring of metric temporal logic
• Checking finite traces using alternating automata
• Comparing LTL semantics for runtime verification
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
• scientific article; zbMATH DE number 2080059 (Why is no real title available?)
• Monitoring metric first-order temporal properties
• TeSSLa: temporal stream-based specification language
• Timed regular expressions

Cited in

(9)

• Monitoring temporal logic with clock variables
• Algebraic quantitative semantics for efficient online temporal monitoring
• A formally verified, optimized monitor for metric first-order dynamic logic
• Almost event-rate independent monitoring of metric temporal logic
• Specifying timed patterns using temporal logic
• Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• Multi-head Monitoring of Metric Dynamic Logic
• Explainable online monitoring of metric temporal logic

Describes a project that uses

Uses Software

• TeSSLa
• MonPoly
• aerial
• LOLA

This page was built for publication: Multi-head monitoring of metric temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3297591)