@inproceedings{https://doi.org/10.4230/lipics.concur.2022.14,
    doi = {10.4230/LIPICS.CONCUR.2022.14},
    url = {https://drops.dagstuhl.de/opus/volltexte/2022/17077/},
    author = {Henzinger, Thomas A. and Lehtinen, Karoliina and Totzke, Patrick},
    keywords = {Timed Automata, History-determinism, Good-for-games, fair simulation, synthesis, Theory of computation → Formal languages and automata theory},
    language = {en},
    title = {History-Deterministic Timed Automata},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
    year = {2022},
    copyright = {Creative Commons Attribution 4.0 International license}
}

@inproceedings{https://doi.org/10.4230/lipics.concur.2022.14, doi = {10.4230/LIPICS.CONCUR.2022.14}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/17077/}, author = {Henzinger, Thomas A. and Lehtinen, Karoliina and Totzke, Patrick}, keywords = {Timed Automata, History-determinism, Good-for-games, fair simulation, synthesis, Theory of computation → Formal languages and automata theory}, language = {en}, title = {History-Deterministic Timed Automata}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, year = {2022}, copyright = {Creative Commons Attribution 4.0 International license} }