2 papers
cs.LO2026
The Infinite, in Finite Time
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
Linear-time temporal properties, such as those described by Linear-time Temporal Logic, are typically modelled as sets of infinite traces. Yet, in a run-time verification context,…
cs.LO2024
Semantics for Linear-time Temporal Logic with Finite Observations
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
LTL3 is a multi-valued variant of Linear-time Temporal Logic for runtime verification applications. The semantic descriptions of LTL3 in previous work are given only in terms of th…