MITL verification under timing uncertainty

DOI10.1007/978-3-031-15839-1_8OpenAlexW4293399510MaRDI QIDQ2112111

J. M. Davoren, Daniel Selvaratnam, Michael Cantoni, Iman Shames

Publication date: 18 January 2023

Full work available at URL: https://arxiv.org/abs/2204.10493

zbMATH Keywords

monitoringruntime verificationcontinuous-timedense-timepath checking

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Sampling polynomial trajectories for LTL verification
• A theory of sampling for continuous-time metric temporal logic
• On the Expressiveness of MTL Variants over Dense Time
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• The benefits of relaxing punctuality
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Optimal proofs for linear temporal logic on lasso words

This page was built for publication: MITL verification under timing uncertainty