Formally Verifying Analog Neural Networks with Device Mismatch Variations
Uloženo v:
| Název: | Formally Verifying Analog Neural Networks with Device Mismatch Variations |
|---|---|
| Autoři: | Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich |
| Zdroj: | 2025 Design, Automation & Test in Europe Conference (DATE). :1-7 |
| Informace o vydavateli: | IEEE, 2025. |
| Rok vydání: | 2025 |
| Témata: | ddc:000, Informatik, Wissen, Systeme |
| Druh dokumentu: | Article Conference object |
| Popis souboru: | application/pdf |
| DOI: | 10.23919/date64628.2025.10992891 |
| Přístupová URL adresa: | https://mediatum.ub.tum.de/1779191 |
| Rights: | STM Policy #29 |
| Přístupové číslo: | edsair.doi.dedup.....e6f90b37832dbc971489ed2bf8dbd40b |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science | DOI: | 10.23919/date64628.2025.10992891 |
|---|