TY  - RPRT
TI  - Verifying Controllers Against Adversarial Examples with Bayesian Optimization
AU  - Shromona Ghosh
AU  - Felix Berkenkamp
AU  - Gireeja Ranade
AU  - Shaz Qadeer
AU  - Ashish Kapoor
PY  - 2018
DO  - 10.1109/icra.2018.8460635
UR  - https://arxiv.org/abs/1802.08678
ID  - 1802.08678
ER  -