Titre du sujet de thèse

Vérification de propriétés dynamiques pour une famille de modèles hybrides. Application au contrôle des épidémies

Thesis title

Verification of dynamic properties for a family of hybrid models. Application to epidemic control.

Description du sujet de thèse / Full thesis description

Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
DELAHAYE Benoit

CANTIN Guillaume
Informatique
Mathématiques et leurs Interactions
Nantes Université (100 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
Laboratoire des sciences du numérique à Nantes (LS2N)

Télécharger les descriptions complètes : Français : sujet-these.pdf
English : sujet-these-en.pdf

Candidatures closes depuis le / Candidates closed since : 15/4/2024