pyNeVer: A Framework for Learning and Verification of Neural Networks

Autor:	Dario Guidotti, Armando Tacchella, Luca Pulina
Rok vydání:	2021
Předmět:	Artificial neural network Computer science business.industry Artificial intelligence business
Zdroj:	Automated Technology for Verification and Analysis ISBN: 9783030888848 ATVA
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9a5644394715273ab60a8aab20dffc9 https://doi.org/10.1007/978-3-030-88885-5_23 Zobrazit plný text záznamu