A quadratic-time DBM-based successor algorithm for checking timed automata.
Jianhua ZhaoXuandong LiGuoliang ZhengPublished in: Inf. Process. Lett. (2005)
Keyphrases
- objective function
- dynamic programming
- detection algorithm
- experimental evaluation
- preprocessing
- computational cost
- computational complexity
- learning algorithm
- similarity measure
- optimization algorithm
- cost function
- np hard
- theoretical analysis
- high accuracy
- recognition algorithm
- times faster
- matching algorithm
- model checking
- verification method
- k means
- search space
- data structure
- optimal solution
- timed automata
- convergence rate
- spline interpolation
- probabilistic model
- classification algorithm
- computationally efficient
- expectation maximization
- low cost
- machine learning
- significant improvement
- genetic algorithm