Soutenance de thèse de Ran BAO (équipe AELOS)
Soutenance de thèse de Ran BAO (équipe AELOS)
Ran Bao, doctorante au sein de l'équipe AELOS, soutiendra sa thèse intitulée "Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées" / "Parametric Statistical model checking of UAV flight plan" jeudi 7 mai 2020 à 10h, en visio. Jury : - Directeur thèse : Chirstian Attiogbé - Co-encadrant : Benoit Delahaye - Rapporteurs : Patricia Bouyer-Decitre (ENS Paris Saclay), Laure Petrucci (U. Paris 13) - Autres…