La confiance avec le contrôle : spécification et vérification d’hyperpropriétés sur réseaux de neurones

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Guilhem Ardouin, Michele Alberti, Julien Girard-Satabin
Cited by: 0

Fields of Study & Subjects

Statistical and Computational Modeling Healthcare Systems and Practices Social Policies and Family

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
30 January 2026
Language
FR