Complexity Analysis of the Backward Coverability Algorithm for VASS.
Laura BozzelliPierre GantyPublished in: RP (2011)
Keyphrases
- complexity analysis
- theoretical analysis
- computational complexity
- experimental evaluation
- dynamic programming
- recognition algorithm
- k means
- learning algorithm
- convergence rate
- times faster
- path planning
- worst case
- search space
- detection algorithm
- matching algorithm
- forward backward
- bi directional
- single pass
- neural network
- improved algorithm
- similarity measure
- preprocessing
- particle swarm optimization
- linear programming
- optimization algorithm
- optimal solution
- knowledge base
- significant improvement
- probabilistic model
- computational cost
- cost function