Sujet de Thèse
Titre :
Vers des jumeaux numériques de confiance et éthiquement responsables : une approche de vérification formelle
Dates :
2025/10/01 - 2028/09/30
Encadrant(s) : 
Hind BRIL-EL HAOUZI , Yinling LIU
Mots clés :
Jumeaux Numériques Ethiques, Vérification Formelle, Systèmes Multi-agents
Conditions :
Thèse Financée avec ANR JCJC DET
Localisation: CRAN CAMPUS Bois
Département(s) : 
Modélisation Pilotage des Systèmes Industriels
Financement :
Thèse Financée avec ANR JCJC DET