Adversarial Robustness Certification for Bayesian Neural Networks.

Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska

Browse the full FM paper archive.