School of Computer Science and Statistics, Trinity College Dublin, Dublin 2, Ireland; Delft Center for Systems and Control, Technical University of Delft, Delft, 2628 CD, The Netherlands; Departement of Aerospace Engineering Sciences and Computer Science, University of Colorado Boulder, Boulder, CO 80303, USA
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming