Adversarial robustness certification for Bayesian neural networks

We study the problem of certifying the robustness of Bayesian neural networks (BNNs) to adversarial input perturbations. Specifically, we define two notions of robustness for BNNs in an adversarial setting: probabilistic robustness and decision robustness. The former deals with the probabilistic beh...

Full description

Bibliographic Details
Main Authors: Wicker, M, Patane, A, Laurenti, L, Kwiatkowska, M
Format: Conference item
Language:English
Published: Springer 2024