Formal Verification of Deep Neural Networks in Hardware

Autor:	Sincy Ann Saji, Shreyansh Agrawal, Surinder Sood
Rok vydání:	2022
Zdroj:	2022 IEEE Women in Technology Conference (WINTECHCON).
DOI:	10.1109/wintechcon55229.2022.9832039
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5a7b6a6f6307aab1b3446e81e87e87e0 https://doi.org/10.1109/wintechcon55229.2022.9832039 Zobrazit plný text záznamu