Explore projects

General Opacity Supervision tool

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

C++ implementation of the Factor Oracle structure

This is a copy of the TinyXML parser.

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

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 .