When Are Timed Automata Determinizable?

Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye

Browse the full ICALP paper archive.