Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete.

Stefan Gller, Mathieu Hilaire

Browse the full STACS paper archive.