Distributed Algorithms for Time Optimal Reachability Analysis.

Zhengkui Zhang Brian Nielsen Kim G. Larsen

Published in: FORMATS (2016)

Keyphrases

reachability analysis
significant improvement
worst case
computational complexity
exhaustive search
learning algorithm
optimal solution
data structure
expert systems
dynamic programming
computational cost
optimization problems
convergence rate
lead time
timed automata