Managing Agents in Attack-Defence Scenarios
Open Source
Open-source tool written in C++. Licensed under the GPL-3.
Graphical Interface
User-friendly web interface using the platform CosyVerif.
Publications
Implemented algorithms are supported by scientific publications.