Convergence proofs for Simulated Annealing falsification of safety properties.

Houssam Abbas Georgios Fainekos

Published in: Allerton Conference (2012)

Keyphrases

simulated annealing
metaheuristic
simulated annealing algorithm
solution quality
tabu search
databases
real time
web services
image segmentation
artificial neural networks
evolutionary algorithm
search engine
database
genetic algorithm ga
desirable properties
hill climbing
global minimum
initial conditions