Fast zone-based algorithms for reachability in pushdown timed automata.

S. Akshay Paul Gastin Karthik R. Prakash

Published in: CoRR (2021)

Keyphrases

computational complexity
times faster
learning algorithm
orders of magnitude
theoretical analysis
timed automata
recently developed
computational efficiency
computational cost
computationally efficient
low cost
benchmark datasets
state space
significant improvement
lower bound
data structure
computer vision