Verifying Controllers Against Adversarial Examples with Bayesian Optimization

1 code implementation • 23 Feb 2018 • Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor

We specify safety constraints using logic and exploit structure in the problem in order to test the system for adversarial counter examples that violate the safety specifications.

Bayesian Optimization reinforcement-learning +1