Verifying Controllers Against Adversarial Examples with Bayesian Optimization.
Shromona GhoshFelix BerkenkampGireeja RanadeShaz QadeerAshish KapoorPublished in: CoRR (2018)
Keyphrases
- optimization problems
- data driven
- efficient optimization
- optimization algorithm
- constrained optimization
- bayesian analysis
- multi agent
- global optimization
- optimization process
- posterior probability
- monte carlo sampling
- discrete optimization
- optimization model
- gaussian processes
- optimization methods
- data sets
- control system
- reinforcement learning
- database systems
- information retrieval