Verifying Controllers Against Adversarial Examples with Bayesian Optimization.
Shromona GhoshFelix BerkenkampGireeja RanadeShaz QadeerAshish KapoorPublished in: ICRA (2018)
Keyphrases
- optimization algorithm
- optimization problems
- data driven
- neural network
- efficient optimization
- optimization process
- linear programming
- training examples
- bayesian estimation
- probabilistic model
- support vector
- case study
- feature selection
- combinatorial optimization
- information systems
- optimization model
- discrete optimization
- data sets
- monte carlo sampling