Revisiting Digitization, Robustness, and Decidability for Timed Automata.

Jol Ouaknine, James Worrell

Browse the full LICS paper archive.