Dimitri Antakly

According to our database, Dimitri Antakly authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

Dimitri Antakly

PhD thesis, 2020

2019

Graphical Event Model Learning and Verification for Security Assessment.

Dimitri Antakly, Benoît Delahaye, Philippe Leray

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019