Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

This repository hosts the different modules that will process CheneTAL corpora.

Solving MCNF using GCNs

Strategic (Timed) Computation Tree Logic

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .