A work-efficient distributed algorithm for reachability analysis.
Orna GrumbergTamir HeymanAssaf SchusterPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- computationally efficient
- computational complexity
- detection algorithm
- learning algorithm
- single pass
- preprocessing
- cost function
- computational cost
- matching algorithm
- reachability analysis
- high efficiency
- np hard
- real time
- probabilistic model
- distributed environment
- expectation maximization
- similarity measure
- worst case
- dynamic programming
- convergence rate
- association rules
- machine learning