Explore projects

C++ implementation of the Factor Oracle structure

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

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

Introduction à l'algorithmique et aux bases de la programmation

ICECCS19 paper experiments files