Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli. Falsification of cyber-physical systems through multi-fidelity stochastic optimization. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 22-23, ACM, 2019. [doi]
Abstract is missing.