Convergence proofs for Simulated Annealing falsification of safety properties
Cooling Schedules for Optimal Annealing