TY  - RPRT
TI  - Fast zone-based algorithms for reachability in pushdown timed automata
AU  - S. Akshay
AU  - Paul Gastin
AU  - Karthik R Prakash
PY  - 2021
UR  - https://arxiv.org/abs/2105.13683
ID  - 2105.13683
ER  -