How to Guarantee Finite Termination of Verifying Global Optimization Codes.
Gerhard HeindlPublished in: Reliab. Comput. (1999)
Keyphrases
- global optimization
- particle swarm optimization
- pso algorithm
- global optima
- ant colony algorithm
- model checking
- global search
- finite number
- evolutionary programming
- global solution
- error correction
- search capabilities
- image completion
- inverse problems
- evolutionary algorithm
- rewrite systems
- binary particle swarm optimization
- constrained global optimization
- deterministic annealing
- optimization problems
- multi objective