Formally Verifying Analog Neural Networks with Device Mismatch Variations. - Yasmine Abu-Haeyeh; Thomas Bartelsmeier; Tobias Ladner; Matthias Althoff; Lars Hedrich; Markus Olbrich (DATE, 2025)