APA (7th ed.) Citation

Zhang, X., Wang, Z., Gao, Y., Romao, L., Abate, A., & Kwiatkowska, M. (2024). Risk-Averse Certification of Bayesian Neural Networks.

Chicago Style (17th ed.) Citation

Zhang, Xiyue, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, and Marta Kwiatkowska. Risk-Averse Certification of Bayesian Neural Networks. 2024.

MLA (9th ed.) Citation

Zhang, Xiyue, et al. Risk-Averse Certification of Bayesian Neural Networks. 2024.