Sujet de thèse - 2022
Vérification de modèles hybrides probabilistes et application aux modèles océaniques incertains.
Période : 2022-2025
L’objectif de cette thèse est de contribuer au développement de nouvelles méthodes de vérification de modèles, à travers une étude des systèmes complexes issus du vivant. Le doctorant ou la doctorante développera ainsi une approche de modélisation hybride, permettant de coupler divers niveaux d’échelles et de formalismes, afin de mieux reproduire les dynamiques biologiques complexes des écosystèmes terrestres et océaniques. La validation et la vérification des propriétés de ces modèles hybrides nécessiteront d’étendre de façon significative le champ d’application actuel des méthodes de model-checking.
Fiche descriptive : 
