BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.

Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

Browse the full ICML paper archive.