Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

SOG-Based Multi-Core LTL Model Checking

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

Introduction à l'algorithmique et aux bases de la programmation

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

Strategic (Timed) Computation Tree Logic

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .

Symbolic Observation Graph-Based Generation of Test Paths

Solving MCNF using GCNs