Eric Alsmann, Martin Lange 0001. Metric Linear-Time Temporal Logic with Strict First-Time Semantics. In Thierry Vidal, Przemyslaw Andrzej Walega, editors, 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, August 27-29, 2025, Queen Mary University of London, UK. Volume 355 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.