Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
Zsófia ÁdámLevente BajcziMihály Dobos-KovácsÁkos HajduVince MolnárPublished in: TACAS (2) (2022)
Keyphrases
- dynamic programming
- worst case
- selection algorithm
- high accuracy
- single pass
- computationally efficient
- times faster
- computational cost
- experimental evaluation
- improved algorithm
- computational complexity
- optimal solution
- optimization algorithm
- matching algorithm
- classification algorithm
- clustering method
- input data
- detection algorithm
- learning algorithm
- search space
- objective function
- simulated annealing
- input image
- path planning
- probabilistic model
- memory requirements
- cost function
- estimation algorithm