notesum.ai

Published at November 21

Semantics for Linear-time Temporal Logic with Finite Observations

cs.LO

Released Date: November 21, 2024

Authors: Rayhana Amjad¹, Rob van Glabbeek¹, Liam O'Connor²

Aff.: ¹University of Edinburgh; ²Australian National University

Arxiv: http://arxiv.org/abs/2411.14581v1