Abu-Haeyeh, Y., Ladner, T., Althoff, M., & Hedrich, L. (2026). Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes.
Chicago-Zitierstil (17. Ausg.)Abu-Haeyeh, Yasmine, Tobias Ladner, Matthias Althoff, und Lars Hedrich. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes. 2026.
MLA-Zitierstil (9. Ausg.)Abu-Haeyeh, Yasmine, et al. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.