Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms.

Lorenzo Clemente, Slawomir Lasota

Browse the full ICALP paper archive.