Soutenance de thèse : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks

Désolé, l'annonce n'est plus d'actualité