Formally Verifying Analog Neural Networks with Device Mismatch Variations
Uložené v:
| Názov: | Formally Verifying Analog Neural Networks with Device Mismatch Variations |
|---|---|
| Autori: | Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich |
| Zdroj: | 2025 Design, Automation & Test in Europe Conference (DATE). :1-7 |
| Informácie o vydavateľovi: | IEEE, 2025. |
| Rok vydania: | 2025 |
| Predmety: | ddc:000, Informatik, Wissen, Systeme |
| Druh dokumentu: | Article Conference object |
| Popis súboru: | application/pdf |
| DOI: | 10.23919/date64628.2025.10992891 |
| Prístupová URL adresa: | https://mediatum.ub.tum.de/1779191 |
| Rights: | STM Policy #29 |
| Prístupové číslo: | edsair.doi.dedup.....e6f90b37832dbc971489ed2bf8dbd40b |
| Databáza: | OpenAIRE |
Nájsť tento článok vo Web of Science Buďte prvý, kto okomentuje tento záznam!