A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.
Swen JacobsMouhammad SakrPublished in: ATVA (2018)
Keyphrases
- theoretical analysis
- segmentation algorithm
- preprocessing
- times faster
- worst case
- learning algorithm
- objective function
- significant improvement
- cost function
- experimental evaluation
- optimization algorithm
- computational cost
- np hard
- single pass
- dynamic programming
- detection algorithm
- estimation algorithm
- simulated annealing
- search space
- particle swarm optimization
- expectation maximization
- matching algorithm
- computational complexity
- monte carlo
- maximum likelihood
- classification algorithm
- path planning
- convergence rate
- recognition algorithm
- clustering method
- computationally efficient
- graph cuts
- data sets
- high accuracy
- scheduling problem
- probabilistic model
- evolutionary algorithm
- genetic algorithm