Login / Signup
A New Algorithm for Partitioned Symbolic Reachability Analysis.
Kai Lampka
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