no code implementations • 15 Sep 2022 • Zahra Ramezani, Knut Åkesson
The aim of this technical report is to investigate the effect of input parameters on the falsification of cyber-physical systems (CPSs).
no code implementations • 14 Sep 2022 • Zahra Ramezani, Kenan Šehić, Luigi Nardi, Knut Åkesson
For some of the benchmark problems, the choice of acquisition function clearly affects the number of simulations needed for successful falsification.