Topic description

Assurer la correction des systèmes critiques est essentiel, notamment dans les domaines où les défaillances ont un coût élevé. La vérification formelle traditionnelle est efficace pour les systèmes clos, mais elle présente des limites dans les environnements ouverts et multi-agents où les agents interagissent de manière stratégique. Alors que les logiques temporelles permettent de raisonner sur les stratégies des agents, elles ne capturent pas les interventions subtiles, comme le nudging, où un agent peut influencer le comportement d'un autre sans restreindre ses choix. Le nudging préserve l'autonomie en modifiant l'environnement décisionnel de manière à orienter le comportement de façon prévisible mais sans coercition.



Cette recherche vise à formaliser le nudging dans les systèmes multi-agents, en l'intégrant aux cadres de raisonnement stratégique et de révision des croyances. Elle étudiera également comment le nudging interagit ...