Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.
Peter E. BulychevThomas ChatainAlexandre DavidKim Guldstrand LarsenPublished in: FORMATS (2009)
Keyphrases
- computationally efficient
- dynamic programming
- worst case
- computational cost
- single pass
- k means
- detection algorithm
- experimental evaluation
- theoretical analysis
- optimization algorithm
- high accuracy
- recognition algorithm
- estimation algorithm
- preprocessing
- computationally intensive
- learning algorithm
- similarity measure
- times faster
- high efficiency
- segmentation algorithm
- expectation maximization
- input data
- probabilistic model
- np hard
- cost function
- computational complexity
- particle swarm optimization
- matching algorithm
- memory requirements
- convergence rate
- selection algorithm
- significant improvement
- optimal solution
- pruning strategy