Certified Robustness Guarantee for Ensemble Networks. - Daniel Sadig; Reza Samavi (Canadian AI, 2024)