Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros. Dynamic Data Structures for Timed Automata Acceptance. Algorithmica, 84(11):3223-3245, 2022. [doi]
@article{GrezMPPR22,
title = {Dynamic Data Structures for Timed Automata Acceptance},
author = {Alejandro Grez and Filip Mazowiecki and Michal Pilipczuk and Gabriele Puppis and Cristian Riveros},
year = {2022},
doi = {10.1007/s00453-022-01025-8},
url = {https://doi.org/10.1007/s00453-022-01025-8},
researchr = {https://researchr.org/publication/GrezMPPR22},
cites = {0},
citedby = {0},
journal = {Algorithmica},
volume = {84},
number = {11},
pages = {3223-3245},
}