-

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Laura Nenzi
2022-01-01

Abstract

-
2022
978-3-031-21221-5
978-3-031-21222-2
File in questo prodotto:
File Dimensione Formato  
978-3-031-21222-2.pdf

Accesso chiuso

Tipologia: Documento in Versione Editoriale
Licenza: Copyright Editore
Dimensione 4.4 MB
Formato Adobe PDF
4.4 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
978-3-031-21222-2-Post_print.pdf

Open Access dal 17/12/2023

Tipologia: Bozza finale post-referaggio (post-print)
Licenza: Digital Rights Management non definito
Dimensione 4.23 MB
Formato Adobe PDF
4.23 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11368/3036671
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact