Unfolding Based Algorithms for the Reachability Problem.

Javier Esparza Claus Schröter

Published in: Fundam. Informaticae (2001)

Keyphrases

data structure
computational cost
theoretical analysis
learning algorithm
times faster
real time
dynamic programming
optimization problems
recently developed
data sets
databases
computer vision
computational complexity
state space
computational efficiency