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
Remplir un dossier de candidature pour cette thèse / Send a candidate file for this thesis

Candidatures ouvertes jusqu'au / Candidates opened until : 15/4/2024