Dynamic Data Structures for Timed Automata Acceptance

Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros. Dynamic Data Structures for Timed Automata Acceptance. Algorithmica, 84(11):3223-3245, 2022. [doi]

Abstract

Abstract is missing.