Dimitri Antakly. Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité). PhD thesis, University of Nantes, France, 2020. [doi]
@phdthesis{hal-14308, title = {Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité)}, author = {Dimitri Antakly}, year = {2020}, url = {https://tel.archives-ouvertes.fr/tel-02891862}, researchr = {https://researchr.org/publication/hal-14308}, cites = {0}, citedby = {0}, school = {University of Nantes, France}, }