Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques

KUŘÁTKO, Jan, RATSCHAN, Stefan. Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques. In: CASADO, L.G., GARCÍA, I., HENDRIX, E.M.T., eds. Proceedings of the XII Global Optimization Workshop Mathematical and Applied Global Optimization. Almería: Universidad de Almerí­a, 2014, s. 133-136. ISBN 978-84-16027-57-6. Available: www.hpca.ual.es/~MAGO14/MAGO14-Proceedings.pdf#page=142