Ph. D. Project
Title:
Towards Trustworthy and Ethically-Aware Digital Twins: A Formal Verification Approach
Dates:
2025/10/01 - 2028/09/30
Supervisor(s): 
Hind BRIL-EL HAOUZI , Yinling LIU
Keywords:
Ethical Digital Twins, Formal Verification, Multi-Agent Systems
Conditions:
ChatGPT a dit :PhD Funded by ANR JCJC DET
Location: CRAN, Bois Campus
Department(s): 
Modelling and Control of Industrial Systems
Funds:
Thèse Financée avec ANR JCJC DET