A New Algorithm for Partitioned Symbolic Reachability Analysis.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

detection algorithm
linear programming
k means
dynamic programming
learning algorithm
reachability analysis
computational cost
preprocessing
np hard
optimization algorithm
cost function
computational complexity
optimal solution
objective function
search space
worst case
incremental algorithms
similarity measure