BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems | IEEE Journals & Magazine | IEEE Xplore