Publication Date:
2021
Short description:
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 2021 2021) [10.1007/978-3-030-88885-5_23].
abstract:
Automated verification of neural networks (NNs) was first proposed
Iris type:
4.1 Contributo in Atti di convegno
List of contributors:
Guidotti, D.; Pulina, L.; Tacchella, A.
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Published in: