Falsification of Cyber-Physical Systems using Bayesian Optimization

Zahra Ramezani, Kenan Šehić, Luigi Nardi +1

Cyber-physical systems (CPSs) are often complex and safety-critical, making it both challenging and crucial to ensure that the system's specifications are met. Simulation-based fal…