Risk-Averse Certification of Bayesian Neural Networks.

Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska

Browse the full SETTA paper archive.