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 |