v2.11.0 (5757)

Cours scientifiques - CSC_54441_EP : Introduction à la vérification des réseaux neuronaux

Domaine > Informatique.

Descriptif

Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks.

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme M2 CPS - Système Cyber Physique

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS

Pour les étudiants du diplôme MScT-Artificial Intelligence and Advanced Visual Computing

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C
    • Crédits ECTS acquis : 2 ECTS

    Support pédagogique multimédia

    Oui

    Veuillez patienter