Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.

Ben Batten, Mehran Hosseini, Alessio Lomuscio

Browse the full AISTATS paper archive.