1 citations · 1 across the 2 of their papers we have counts for
3 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…
cs.LO2022★ 1 cited
Holbert: Reading, Writing, Proving and Learning in the Browser
Liam O'Connor, Rayhana Amjad
This paper presents Holbert: a work-in-progress pedagogical proof assistant and online textbook platform, aimed at the educational use-case, specifically for the teaching of progra…