Probabilistic Safety for Bayesian Neural Networks.

Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska

Browse the full UAI paper archive.