Almost Event-Rate Independent Monitoring of Metric Temporal Logic

DOI10.1007/978-3-662-54580-5_6zbMath1452.68278OpenAlexW2599774663MaRDI QIDQ3303922

Bhargav Nagaraja Bhatt, Dmitriy Traytel, David A. Basin

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54580-5_6

zbMATH Keywords

temporal logiclinear temporal logicBoolean expressionevent ratefuture operator

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Temporal logic (03B44) Online algorithms; streaming algorithms (68W27)

Related Items (4)

Multi-head Monitoring of Metric Temporal Logic ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Incremental reasoning in probabilistic signal temporal logic

Uses Software

• Archive Formal Proofs
• GNU parallel
• aerial
• Boolean_Expression_Checkers

Cites Work

• Unnamed Item
• Unnamed Item
• Algorithms for monitoring real-time properties
• Online timed pattern matching using derivatives
• A brief account of runtime verification
• Bounded variability of metric temporal logic
• Monitoring Metric First-Order Temporal Properties
• Comparing LTL Semantics for Runtime Verification
• Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Almost Event-Rate Independent Monitoring of Metric Temporal Logic