Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

General Opacity Supervision tool

C++ implementation of the Factor Oracle structure

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

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

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

repository of the sbench python package

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

This is a copy of the TinyXML parser.

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Partial Order Model checker for PETri nets

This is a copy of TinyXML2 parser

SOG-Based Multi-Core LTL Model Checking