pyNeVer: A Framework for Learning and Verification of Neural Networks
Contributo in Atti di convegno
Data di Pubblicazione:
2021
Citazione:
pyNeVer: A Framework for Learning and Verification of Neural Networks / Guidotti, D.; Pulina, L.; Tacchella, A.. - 12971:(2021), pp. 357-363. ( 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 20212021) [10.1007/978-3-030-88885-5_23].
Abstract:
Automated verification of neural networks (NNs) was first proposed
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Guidotti, D.; Pulina, L.; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: