BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
Steven AdamsAndrea PataneMorteza LahijanianLuca LaurentiPublished in: CoRR (2023)
Keyphrases
- dynamic programming
- neural network
- dp matching
- state space
- pattern recognition
- stereo matching
- multi layer
- artificial neural networks
- neural nets
- third party
- linear programming
- bayesian networks
- computational efficiency
- markov decision processes
- genetic algorithm
- data driven
- fuzzy logic
- reinforcement learning
- neural network model
- machine learning
- bayesian inference
- infinite horizon
- databases
- optimal policy
- back propagation
- greedy algorithm
- network architecture