Multi-head Monitoring of Metric Temporal Logic

DOI10.1007/978-3-030-31784-3_9zbMath1437.68119OpenAlexW2981989604MaRDI QIDQ3297591

Dmitriy Traytel, Martin Raszyk, Srđan Krstić, David A. 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

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

Related Items (1)

A formally verified, optimized monitor for metric first-order dynamic logic

Uses Software

• aerial
• MonPoly
• LOLA
• TeSSLa

Cites Work

• Unnamed Item
• A note on semilinear sets and bounded-reversal multihead pushdown automata
• Algorithms for monitoring real-time properties
• Checking finite traces using alternating automata
• Almost event-rate independent monitoring
• Monitoring Metric First-Order Temporal Properties
• Timed regular expressions
• Almost Event-Rate Independent Monitoring of Metric Temporal Logic
• Comparing LTL Semantics for Runtime Verification
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
• TeSSLa: temporal stream-based specification language

This page was built for publication: Multi-head Monitoring of Metric Temporal Logic