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]

Authors

Alejandro Grez

This author has not been identified. Look up 'Alejandro Grez' in Google

Filip Mazowiecki

This author has not been identified. Look up 'Filip Mazowiecki' in Google

Michal Pilipczuk

This author has not been identified. Look up 'Michal Pilipczuk' in Google

Gabriele Puppis

This author has not been identified. Look up 'Gabriele Puppis' in Google

Cristian Riveros

This author has not been identified. Look up 'Cristian Riveros' in Google