Effiziente Algorithmen zur Berechnung engerer Garantien für die probabilistische Robustheit von Bayes'schen neuronalen Netzwerken.
