@misc{indiciaeaf2575ed4f73, title = {Falsification of Cyber-Physical Systems using Bayesian Optimization}, author = {Zahra Ramezani and Kenan Šehić and Luigi Nardi and Knut Åkesson}, year = {2025}, url = {https://arxiv.org/abs/2209.06735}, note = {Source identifier: 2209.06735} }