Subject Ph. D.

Towards Trustworthy and Ethically-Aware Digital Twins: A Formal Verification Approach

Department : MPSI

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

Contact to candidate :

hind.el-haouzi@univ-lorraine.fr

yinling.liu@univ-lorraine.fr

Description

Mots-clés

Ethical Digital Twins
Formal Verification
Multi-Agent Systems

Conditions