IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 1-gen-2019 Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A.
Improving Reliability of Myocontrol Using Formal Verification 1-gen-2019 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Repairing Learned Controllers with Convex Optimization: A Case Study 1-gen-2019 Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A.
pyNeVer: A Framework for Learning and Verification of Neural Networks 1-gen-2021 Guidotti, D; Pulina, L; Tacchella, A
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.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 1-gen-2022 Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando
Verification and Repair of Machine Learning Models 24-mag-2022 Guidotti, Dario
Mostrati risultati da 1 a 7 di 7
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