Définir des stratégies de nudging dans la spécification des propriétés pour les systèmes multi-agents · Laboratoire de Traitement et Communication de l'Information, Doctorat · La Géode