Soutenance de thèse de Ran BAO (équipe AELOS)
visioRan 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…