Keyword:Metric Temporal Logic

Publications
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties David Basin, Srdjan Krstic and Dmitriy Traytel In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems Ping Hou and Yifei Chen In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics