TY  - RPRT
TI  - Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
AU  - Yasmine Abu-Haeyeh
AU  - Tobias Ladner
AU  - Matthias Althoff
AU  - Lars Hedrich
PY  - 2026
UR  - https://arxiv.org/abs/2605.10474
ID  - 2605.10474
ER  -