Projets

GraDyn

Responsable LIMOS : KANTE Mamadou
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