Person in charge LIMOS : KANTE Mamadou
Coordinator :
Start of project : March 3, 2020 - End of project : Jan. 1, 2021
Project driven by LIMOS
The project deals with model-checking on dynamic graphs, in particular the definition of graph decompositions in a dynamic logical language.
Partner Organizations :
Financier : CNRS