Multi-head Monitoring of Metric Temporal Logic
From MaRDI portal
Publication:3297591
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
Uses Software
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