activity
20222026
most citedHolbert: Reading, Writing, Proving and Learning in the Browser

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…