IRIS

Automated verification of neural networks (NNs) was first proposed

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].

pyNeVer: A Framework for Learning and Verification of Neural Networks

Guidotti D.;Pulina L.;
2021-01-01

Abstract

Automated verification of neural networks (NNs) was first proposed
2021
Inglese
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021
12971
357
363
7
9783030888848
9783030888855
Springer Science and Business Media Deutschland GmbH
GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND
Esperti anonimi
Sì
2021
2-s2.0-85118150650
WOS:000719819800023
No
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].
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Guidotti, D.; Pulina, L.; Tacchella, A.
273
3
none
info:eu-repo/semantics/conferenceObject
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/276460
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 25
  • ???jsp.display-item.citation.isi??? 12
social impact