ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

C++ implementation of the Factor Oracle structure

General Opacity Supervision tool

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 is a copy of the BuDDy library.

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Strategic (Timed) Computation Tree Logic

This repository contains pnml from the MCC (https://mcc.lip6.fr).

Multi-core Decision Diagram (BDD/LDD) implementation