Scholarlink

We propose an efficient offline monitoring algorithm for properties written in DMTL (Dynamic Metric Temporal Logic), a temporal formalism that combines MTL (Metric Temporal Logic) with regular expressions. Our algorithm has worst-case running time that is polynomial in the size of the temporal specification and linear in the length of the input trace. In particular, our monitoring algorithm needs time \(O(m^3 \cdot n)\) , where m is the size of the DMTL formula and n in the length of the input trace.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Efficient Offline Monitoring for Dynamic Metric Temporal Logic

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Konstantinos Mamouras

摘要

We propose an efficient offline monitoring algorithm for properties written in DMTL (Dynamic Metric Temporal Logic), a temporal formalism that combines MTL (Metric Temporal Logic) with regular expressions. Our algorithm has worst-case running time that is polynomial in the size of the temporal specification and linear in the length of the input trace. In particular, our monitoring algorithm needs time \(O(m^3 \cdot n)\) , where m is the size of the DMTL formula and n in the length of the input trace.