Athavale, A., Bartocci, E., Christakis, M., Maffei, M., Nickovic, D., & Weissenbacher, G. (2024). Verifying Global Two-Safety Properties in Neural Networks with Confidence.
Chicago-Zitierstil (17. Ausg.)Athavale, Anagha, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, und Georg Weissenbacher. Verifying Global Two-Safety Properties in Neural Networks with Confidence. 2024.
MLA-Zitierstil (9. Ausg.)Athavale, Anagha, et al. Verifying Global Two-Safety Properties in Neural Networks with Confidence. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.