Published in: LIPIcs, Volume 355, 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)
Eric Alsmann and Martin Lange. Metric Linear-Time Temporal Logic with Strict First-Time Semantics. In 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 355, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alsmann_et_al:LIPIcs.TIME.2025.3, author = {Alsmann, Eric and Lange, Martin}, title = {{Metric Linear-Time Temporal Logic with Strict First-Time Semantics}}, booktitle = {32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)}, pages = {3:1--3:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-401-7}, ISSN = {1868-8969}, year = {2025}, volume = {355}, editor = {Vidal, Thierry and Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2025.3}, URN = {urn:nbn:de:0030-drops-244491}, doi = {10.4230/LIPIcs.TIME.2025.3}, annote = {Keywords: linear-time temporal logic, metric temporal logic, computational complexity, Streett automata} }
Published in: LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
Eric Alsmann and Florian Bruse. Real-Time Higher-Order Recursion Schemes. In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 16:1-16:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{alsmann_et_al:LIPIcs.TIME.2024.16, author = {Alsmann, Eric and Bruse, Florian}, title = {{Real-Time Higher-Order Recursion Schemes}}, booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)}, pages = {16:1--16:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-349-2}, ISSN = {1868-8969}, year = {2024}, volume = {318}, editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.16}, URN = {urn:nbn:de:0030-drops-212236}, doi = {10.4230/LIPIcs.TIME.2024.16}, annote = {Keywords: Timed Automata, Higher-Order Recursion Schemes, Tree Automata} }