Hans van DitmarschCNRS senior researcher, member of LORIA

Le projet Epistemic Protocol Synthesis d’Hans van Ditmarsch, chercheur CNRS au sein du Laboratoire lorrain de recherche en informatique et ses applications (Loria - CNRS/Université de Lorraine/Inria), vise à une synthèse de protocole épistémique pour les systèmes multi-agents synchrones et asynchrones, en utilisant et en développant les logiques épistémiques dynamiques.