Alternating Timed Automata over Bounded Time.

Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell

Browse the full LICS paper archive.