Bayesian Neural Networks: Tight Probabilistic Robustness Verification

Bayesian Neural Networks require tight probabilistic robustness verification for safety-critical applications.