Reachability in Two-Clock Timed Automata Is PSPACE-Complete.

John Fearnley, Marcin Jurdzinski

Browse the full ICALP paper archive.