https://arxiv.org/abs/2411.14581
[2411.14581] Semantics for Linear-time Temporal Logic with Finite Observations
Abstract page for arXiv paper 2411.14581: Semantics for Linear-time Temporal Logic with Finite Observations
linear time temporal logic2411semantics