A Work-Efficient Distributed Algorithm for Reachability Analysis.
Orna GrumbergTamir HeymanAssaf SchusterPublished in: CAV (2003)
Keyphrases
- high efficiency
- single pass
- dynamic programming
- detection algorithm
- computationally efficient
- preprocessing
- computational cost
- learning algorithm
- incremental algorithms
- cost function
- computational complexity
- optimal solution
- evolutionary algorithm
- matching algorithm
- reachability analysis
- objective function
- similarity measure
- machine learning