Modèles erronés dans les réseaux neuronaux et leurs menaces pour la vérification formelle.

< Retour à ILB Patrimoine
Auteurs
  • VIOT Augustin
  • LUSSIER Benjamin
  • SCHON Walter
  • GERONIMI Stephane
  • TACCHELLA Armando
Date de publication
2020
Type de publication
Article de conférence
Résumé Cet article explique pourquoi les techniques actuelles de sûreté de fonctionnement ne sont pas adaptées aux réseaux neuronaux (NN). Il montre également, à l'aide d'une expérience, que nous devons accorder une confiance justifiée à la modélisation des réseaux neuronaux avant que la vérification formelle puisse être utilisée pour les applications critiques.
Voir la publication
Thématiques de la publication
  • ...
    • Pas de thématiques identifiées
Thématiques détectées par scanR à partir des publications retrouvées. Pour plus d’informations, voir https://scanr.enseignementsup-recherche.gouv.fr