-

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

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