@inproceedings{ho_et_al:LIPIcs.TIME.2023.7,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Temporal Logic, Expressiveness, Automata},
    Author = {Ho, Hsi-Ming and Madnani, Khushraj},
    BookTitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
    Editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
    File = {More Than 0s and 1s- Metric Quantifiers and Counting over Timed Words - LIPIcs-TIME-2023-7.pdf},
    ISBN = {978-3-95977-298-3},
    ISSN = {1868-8969},
    Pages = {7:1--7:15},
    Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19097},
    Volume = {278},
    Year = {2023},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2023/19097},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.TIME.2023.7},
    date-added = {2023-09-21 08:18:48 +0200},
    date-modified = {2023-09-21 08:18:48 +0200},
    urn = {urn:nbn:de:0030-drops-190979},
    doi = {10.4230/LIPIcs.TIME.2023.7}
}

@inproceedings{ho_et_al:LIPIcs.TIME.2023.7, Address = {Dagstuhl, Germany}, Annote = {Keywords: Temporal Logic, Expressiveness, Automata}, Author = {Ho, Hsi-Ming and Madnani, Khushraj}, BookTitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, Editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, File = {More Than 0s and 1s- Metric Quantifiers and Counting over Timed Words - LIPIcs-TIME-2023-7.pdf}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, Pages = {7:1--7:15}, Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19097}, Volume = {278}, Year = {2023}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2023/19097}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.TIME.2023.7}, date-added = {2023-09-21 08:18:48 +0200}, date-modified = {2023-09-21 08:18:48 +0200}, urn = {urn:nbn:de:0030-drops-190979}, doi = {10.4230/LIPIcs.TIME.2023.7} }