Online Monitoring of Metric Temporal Logic

  title={Online Monitoring of Metric Temporal Logic},
  author={Hsi-Ming Ho and Jo{\"e}l Ouaknine and James Worrell},
Current approaches to monitoring real-time properties suffer either from unbounded space requirements or lack of expressiveness. In this paper, we adapt a separation technique enabling us to rewrite arbitrary MTL formulas into LTL formulas over a set of atoms comprising bounded MTL formulas. As a result, we obtain the first trace-length independent online monitoring procedure for full MTL. 
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
12 Citations
27 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…