GUIDOTTI, Dario

GUIDOTTI, Dario  

SCIENZE UMANISTICHE E SOCIALI  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 1-gen-2024 Corona, G.; Guidotti, D.; Pandolfo, L.; Pulina, L.
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 1-gen-2022 Demarchi, S.; Guidotti, D.
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.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 1-gen-2022 Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 1-gen-2024 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Improving Reliability of Myocontrol Using Formal Verification 1-gen-2019 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
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
NeVer2: learning and verification of neural networks 1-gen-2024 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
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.
Repairing Learned Controllers with Convex Optimization: A Case Study 1-gen-2019 Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.
Safety Analysis of Deep Neural Networks 1-gen-2021 Guidotti, D.
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 1-gen-2023 Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 1-gen-2021 Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.
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 1-gen-2021 Guidotti, D.
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 for Safety and Security-critical Domains 1-gen-2022 Guidotti, D.