BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
Steven AdamsAndrea PataneMorteza LahijanianLuca LaurentiPublished in: ICML (2023)
Keyphrases
- dynamic programming
- neural network
- state space
- dp matching
- optimal control
- optimal policy
- third party
- pattern recognition
- stereo matching
- bayesian estimation
- linear programming
- bayesian networks
- fuzzy systems
- infinite horizon
- multilayer perceptron
- neural network model
- reinforcement learning
- markov decision processes
- greedy algorithm
- posterior probability
- single machine
- genetic algorithm
- database
- bayesian learning
- rule extraction
- activation function
- bayesian decision
- posterior distribution
- neural nets
- recurrent neural networks
- self organizing maps
- fault diagnosis
- back propagation
- online learning
- probability distribution