Graphical Event Model Learning and Verification for Security Assessment. - Dimitri Antakly; Benoît Delahaye; Philippe Leray 001 (IEA/AIE, 2019)

Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité). - Dimitri Antakly (2020)