Sujet de Thèse

Vers des jumeaux numériques de confiance et éthiquement responsables : une approche de vérification formelle

Département : MPSI

Durée : 01/10/2025 - 30/09/2028

Conatact pour candidater :

hind.el-haouzi@univ-lorraine.fr

yinling.liu@univ-lorraine.fr

Description

Mots-clés

Jumeaux Numériques Ethiques
Vérification Formelle
Systèmes Multi-agents

Conditions