TY  - RPRT
TI  - BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
AU  - Steven Adams
AU  - Andrea Patane
AU  - Morteza Lahijanian
AU  - Luca Laurenti
PY  - 2023
UR  - https://arxiv.org/abs/2306.10742
ID  - 2306.10742
ER  -