GUIDOTTI, Dario
GUIDOTTI, Dario
SCIENZE UMANISTICHE E SOCIALI
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.006 secondi).
Detection of Component Degradation: A Study on Autoencoder-Based Approaches
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
pyNeVer: A Framework for Learning and Verification of Neural Networks
2021-01-01 Guidotti, D.; Pulina, L.; Tacchella, A.
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project
2023-01-01 Guidotti, D.; Masiero, R.; Pandolfo, L.; Pulina, L.
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project
2022-01-01 Eramo, R.; Fanni, T.; Guidotti, D.; Pandolfo, L.; Pulina, L.; Zedda, K.
Verification of NNs in the IMOCO4.E Project: Preliminary Results
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Verifying Neural Networks with SMT: An Experimental Evaluation
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.