SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux - Modélisation des Systèmes Réactifs (MSR'23) Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux

Arthur Claviere
  • Fonction : Auteur
  • PersonId : 1354004
Eric Asselin
  • Fonction : Auteur
  • PersonId : 1354005

Résumé

SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux
Fichier principal
Vignette du fichier
main.pdf (595.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04465231 , version 1 (19-02-2024)

Identifiants

  • HAL Id : hal-04465231 , version 1

Citer

Arthur Claviere, Eric Asselin, Christophe Garion, Claire Pagetti. SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux. Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France. ⟨hal-04465231⟩
18 Consultations
11 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More