Explore projects

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

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

scripts for the TACAS 21 paper experiments

Symbolic Observation Graph-Based Generation of Test Paths

Introduction à l'algorithmique et aux bases de la programmation