Explore projects

Symbolic Observation Graph-Based Generation of Test Paths

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

scripts for the TACAS 21 paper experiments

Introduction à l'algorithmique et aux bases de la programmation

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