Explore projects

General Opacity Supervision tool

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

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

scripts for the TACAS 21 paper experiments

ICECCS19 paper experiments files