A Counting Semantics for Monitoring LTL Specifications over Finite Traces
CAV, pp. 547-564, 2018.
We consider the problem of monitoring a Linear Time Logic (LTL) specification that is defined on infinite paths, over finite traces. For example, we may need to draw a verdict on whether the system satisfies or violates the property “p holds infinitely often.” The problem is that there is always a continuation of a finite trace that satis...More
Full Text (Upload PDF)
PPT (Upload PPT)