Comparing LTL Semantics for Runtime Verification
Andreas Bauer, Martin Leucker, Christian Schallhart · Journal of Logic and Computation · 2009
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite words of events,