ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

C++ implementation of the Factor Oracle structure

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

General Opacity Supervision tool

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

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll