Sfoglia per Autore
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Verification of NNs in the IMOCO4.E Project: Preliminary Results
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project
2023-01-01 Guidotti, D.; Masiero, R.; Pandolfo, L.; Pulina, L.
Detection of Component Degradation: A Study on Autoencoder-Based Approaches
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications | 1-gen-2023 | Guidotti, D.; Pandolfo, L.; Pulina, L. | |
Verification of NNs in the IMOCO4.E Project: Preliminary Results | 1-gen-2023 | Guidotti, D.; Pandolfo, L.; Pulina, L. | |
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project | 1-gen-2023 | Guidotti, D.; Masiero, R.; Pandolfo, L.; Pulina, L. | |
Detection of Component Degradation: A Study on Autoencoder-Based Approaches | 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. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile