Abu-Haeyeh, Y., Ladner, T., Althoff, M., & Hedrich, L. (2026). Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes.
Style de citation Chicago (17e éd.)Abu-Haeyeh, Yasmine, Tobias Ladner, Matthias Althoff, et Lars Hedrich. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes. 2026.
Style de citation MLA (9e éd.)Abu-Haeyeh, Yasmine, et al. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.