@misc{indiciae1da97b593d0e,
  title = {Risk-Averse Certification of Bayesian Neural Networks},
  author = {Xiyue Zhang and Zifan Wang and Yulong Gao and Licio Romao and Alessandro Abate and Marta Kwiatkowska},
  year = {2024},
  url = {https://arxiv.org/abs/2411.19729},
  note = {Source identifier: 2411.19729}
}