BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems. - Joshua Yancosek; Ali Baheri (IEEE Access, 2024)