Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

C++ implementation of the Factor Oracle structure

General Opacity Supervision tool

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

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

Solving MCNF using GCNs

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon

Website of the Workshop SynCoP 2024