Formally Verifying Analog Neural Networks with Device Mismatch Variations
Saved in:
| Title: | Formally Verifying Analog Neural Networks with Device Mismatch Variations |
|---|---|
| Authors: | Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich |
| Source: | 2025 Design, Automation & Test in Europe Conference (DATE). :1-7 |
| Publisher Information: | IEEE, 2025. |
| Publication Year: | 2025 |
| Subject Terms: | ddc:000, Informatik, Wissen, Systeme |
| Document Type: | Article Conference object |
| File Description: | application/pdf |
| DOI: | 10.23919/date64628.2025.10992891 |
| Access URL: | https://mediatum.ub.tum.de/1779191 |
| Rights: | STM Policy #29 |
| Accession Number: | edsair.doi.dedup.....e6f90b37832dbc971489ed2bf8dbd40b |
| Database: | OpenAIRE |
Nájsť tento článok vo Web of Science | DOI: | 10.23919/date64628.2025.10992891 |
|---|