| Verification of neural networks: Enhancing scalability through pruning D Guidotti, F Leofante, L Pulina, A Tacchella arXiv preprint arXiv:2003.07636, 2020 | 30 | 2020 |
| pynever: A framework for learning and verification of neural networks D Guidotti, L Pulina, A Tacchella Automated Technology for Verification and Analysis: 19th International …, 2021 | 22 | 2021 |
| Improving reliability of myocontrol using formal verification D Guidotti, F Leofante, A Tacchella, C Castellini IEEE Transactions on Neural Systems and Rehabilitation Engineering 27 (4 …, 2019 | 17 | 2019 |
| Verification and repair of neural networks: A progress report on convolutional models D Guidotti, F Leofante, L Pulina, A Tacchella AI* IA 2019–Advances in Artificial Intelligence: XVIIIth International …, 2019 | 12 | 2019 |
| Repairing learned controllers with convex optimization: a case study D Guidotti, F Leofante, C Castellini, A Tacchella Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 11 | 2019 |
| Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. S Demarchi, D Guidotti, A Pitto, A Tacchella ECMS, 310-316, 2022 | 8 | 2022 |
| The Verification of Neural Networks Library (VNN-LIB) D Guidotti, S Demarchi, A Tacchella, L Pulina | 7 | 2023 |
| Never 2.0: Learning, verification and repair of deep neural networks D Guidotti, L Pulina, A Tacchella arXiv preprint arXiv:2011.09933, 2020 | 6 | 2020 |
| Enhancing Neural Networks through Formal Verification. D Guidotti DDC@ AI* IA, 107-112, 2019 | 6 | 2019 |
| Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet S Demarchi, D Guidotti, L Pulina, A Tacchella Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous …, 2023 | 4 | 2023 |
| Verification and repair of neural networks D Guidotti Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 15714 …, 2021 | 4 | 2021 |
| Safety Analysis of Deep Neural Networks. D Guidotti IJCAI, 4887-4888, 2021 | 4 | 2021 |
| Verification of nns in the imoco4. e project: Preliminary results D Guidotti, L Pandolfo, L Pulina 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | 3 | 2023 |
| Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments. D Guidotti, F Leofante CPS Summer School, PhD Workshop, 18-28, 2019 | 3 | 2019 |
| Vector reconstruction error for anomaly detection: Preliminary results in the imoco4. e project D Guidotti, R Masiero, L Pandolfo, L Pulina 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | 2 | 2023 |
| Leveraging satisfiability modulo theory solvers for verification of neural networks in predictive maintenance applications D Guidotti, L Pandolfo, L Pulina Information 14 (7), 397, 2023 | 2 | 2023 |
| Detection of Component Degradation: A Study on Autoencoder-Based Approaches D Guidotti, L Pandolfo, L Pulina 2023 IEEE 19th International Conference on e-Science (e-Science), 1-2, 2023 | 1 | 2023 |
| Verifying Neural Networks with SMT: An Experimental Evaluation D Guidotti, L Pandolfo, L Pulina 2023 IEEE 19th International Conference on e-Science (e-Science), 1-2, 2023 | 1 | 2023 |
| Verification of Neural Networks for Safety and Security-critical Domains. D Guidotti IPS/RiCeRcA/SPIRIT@ AI* IA, 2022 | 1 | 2022 |
| Verification of neural networks: Challenges and perspectives in the aidoart project R Eramo, T Fanni, D Guidotti, L Pandolfo, L Pulina, K Zedda Proceedings of RiCeRcA 2022 3345, 2022 | 1 | 2022 |
