Fast zone-based algorithms for reachability in pushdown timed automata

S. Akshay, Paul Gastin, Karthik R Prakash

Given the versatility of timed automata a huge body of work has evolved that considers extensions of timed automata. One extension that has received a lot of interest is timed auto…