Explore projects

Symbolic Observation Graph-Based Generation of Test Paths

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Solving MCNF using GCNs

Strategic (Timed) Computation Tree Logic

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

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 .

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

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

SOG-Based Multi-Core LTL Model Checking

Introduction à l'algorithmique et aux bases de la programmation