| 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 |
||