GUIDOTTI, Dario

GUIDOTTI, Dario  

SCIENZE UMANISTICHE E SOCIALI  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 1-gen-2023 Guidotti, D.; Pandolfo, L.; Pulina, L.
Enhancing neural networks through formal verification 1-gen-2019 Guidotti, D.
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 1-gen-2023 Guidotti, D.; Pandolfo, L.; Pulina, L.
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 1-gen-2020 Guidotti, Dario; Pulina, Luca; Tacchella, Armando
pyNeVer: A Framework for Learning and Verification of Neural Networks 1-gen-2021 Guidotti, D.; Pulina, L.; Tacchella, A.
Repair of convolutional neural networks using convex optimization: Preliminary experiments 1-gen-2019 Guidotti, D.; Leofante, F.
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 1-gen-2023 Guidotti, D.; Masiero, R.; Pandolfo, L.; Pulina, L.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 1-gen-2019 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 1-gen-2022 Eramo, R.; Fanni, T.; Guidotti, D.; Pandolfo, L.; Pulina, L.; Zedda, K.
Verification of neural networks: Enhancing scalability through pruning 1-gen-2020 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Verification of NNs in the IMOCO4.E Project: Preliminary Results 1-gen-2023 Guidotti, D.; Pandolfo, L.; Pulina, L.
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 1-gen-2023 Guidotti, D.; Pandolfo, L.; Pulina, L.
Verifying Neural Networks with SMT: An Experimental Evaluation 1-gen-2023 Guidotti, D.; Pandolfo, L.; Pulina, L.