Search Results for author: Zahra Ramezani

Found 2 papers, 0 papers with code

Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems

no code implementations15 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).

Falsification of Cyber-Physical Systems using Bayesian Optimization

no code implementations14 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.

Bayesian Optimization

Cannot find the paper you are looking for? You can Submit a new open access paper.