Monitoring temporal logic with clock variables

DOI10.1007/978-3-030-00151-3_4MaRDI QIDQ1631217zbMATH OpenOpenAlexFDO

Authors Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger

Publication date 6 December 2018

Full work available at URL https://doi.org/10.1007/978-3-030-00151-3_4

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Algorithms for monitoring real-time properties
• Multi-head monitoring of metric temporal logic
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• scientific article; zbMATH DE number 7056237

Cited in

(11)

• On probabilistic monitorability
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Algebraic quantitative semantics for efficient online temporal monitoring
• Monitoring timed properties (revisited)
• Specifying timed patterns using temporal logic
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Combining the temporal and epistemic dimensions for MTL monitoring
• Algorithms for monitoring real-time properties
• Multi-head monitoring of metric temporal logic
• Linear Time Monitoring for One Variable TPTL
• Scalable offline monitoring of temporal specifications

This page was built for publication: Monitoring temporal logic with clock variables

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