Formally Verifying Analog Neural Networks with Device Mismatch Variations - Yasmine Abu-Haeyeh; Thomas Bartelsmeier; Tobias Ladner; Matthias Althoff; Lars Hedrich; Markus Olbrich (2025 Design, Automation & Test in Europe Conference (DATE), 2025)