A Counting Semantics for Monitoring LTL Specifications over Finite Traces

CAV, pp. 547-564, 2018.

Cited by: 6|Bibtex|Views7|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments