A Symbolic Algorithm for the Analysis of Robust Timed Automata.
Piotr KordyRom LangerakSjouke MauwJan Willem PoldermanPublished in: FM (2014)
Keyphrases
- computationally efficient
- dynamic programming
- detection algorithm
- learning algorithm
- expectation maximization
- computational cost
- parameter tuning
- matching algorithm
- probabilistic model
- experimental evaluation
- cost function
- computational complexity
- optimal solution
- real time
- high accuracy
- k means
- particle swarm optimization
- preprocessing
- times faster
- significant improvement
- evolutionary algorithm
- simulated annealing
- search space
- optimization algorithm
- convergence rate
- neural network