GraDyn
Responsable LIMOS : KANTE MamadouCoordinateur :
Début du projet : 3 mars 2020 - Fin du projet : 1 janvier 2021
Projet piloté par le LIMOS
Le projet concerne le model-checking dans les graphes dynamiques, en particulier comment définir des décompositions en logique dynamique.
Organismes partenaires :
Financeur : CNRS