A Dedicated Algorithm for Verification of Interlocking Systems.
Quentin CappartPierre SchausPublished in: SAFECOMP (2016)
Keyphrases
- optimization algorithm
- learning algorithm
- experimental evaluation
- preprocessing
- matching algorithm
- verification method
- cost function
- theoretical analysis
- np hard
- dynamic programming
- particle swarm optimization
- model checking
- detection algorithm
- computationally efficient
- computational cost
- single pass
- computational complexity
- times faster
- convergence rate
- improved algorithm
- estimation algorithm
- maximum likelihood
- ant colony optimization
- segmentation algorithm
- linear programming
- simulated annealing
- worst case
- probabilistic model
- hidden markov models
- search space
- face recognition