Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019

Hugo Bazille
  • Fonction : Auteur
  • PersonId : 959673

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
BFG19.pdf (296.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02350253 , version 1 (06-11-2019)

Identifiants

  • HAL Id : hal-02350253 , version 1

Citer

Hugo Bazille, Eric Fabre, Blaise Genest. Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019. AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10. ⟨hal-02350253⟩
74 Consultations
557 Téléchargements

Partager

Gmail Facebook X LinkedIn More