Houssam Abbas, Georgios E. Fainekos. Convergence proofs for Simulated Annealing falsification of safety properties. In 2012 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton Park & Retreat Center, Monticello, IL, USA, October 1-5, 2012. pages 1594-1601, IEEE, 2012. [doi]
Abstract is missing.