BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems

Joshua Yancosek, Ali Baheri

The rigorous safety verification of control systems in critical applications is essential, given their increasing complexity and integration into everyday life. Simulation-based fa…