--- res: bibo_abstract: - 'Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost.@eng' bibo_authorlist: - foaf_Person: foaf_givenName: Thomas foaf_name: Ferrere, Thomas foaf_surname: Ferrere foaf_workInfoHomepage: http://www.librecat.org/personId=40960E6E-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0001-5199-3143 bibo_doi: 10.1007/978-3-319-95582-7_9 bibo_volume: 10951 dct_date: 2018^xs_gYear dct_identifier: - UT:000489765800009 dct_language: eng dct_publisher: Springer@ dct_title: The compound interest in relaxing punctuality@ ...