History-Deterministic Timed Automata.

Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke

Browse the full CONCUR paper archive.