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

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.