Hsi-Ming Ho, Khushraj Madnani. More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. In Alexander Artikis, Florian Bruse, Luke Hunsberger, editors, 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece. Volume 278 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.