Verifying Controllers Against Adversarial Examples with Bayesian Optimization

Open in new window