Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

This is a copy of the BuDDy library.

C++ implementation of the Factor Oracle structure

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

General Opacity Supervision tool

Translation of LTL formulae from JSON into Helena syntax.

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 .