Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.

S. Akshay, Paul Gastin, Karthik R. Prakash

Browse the full CAV paper archive.