v2.9.0 (4689)

PA - C8 - INF641 : Introduction to the verification of neural networks

Domaine > Informatique.


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.

effectifs minimal / maximal:


Diplôme(s) concerné(s)

Parcours de rattachement

Format des notes

Numérique sur 20

Littérale/grade réduit

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

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

    Pour les étudiants du diplôme Echanges PEI

    Veuillez patienter