Explore projects

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 .

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

Multi-core Decision Diagram (BDD/LDD) implementation

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