Pinned Loading

1. cipherlab-poly/Anchors-signals-MCTS cipherlab-poly/Anchors-signals-MCTS Public

   Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search

   Python 2 1

2. IP-over-DNS-Client IP-over-DNS-Client Public

   (2018.12 - 2019.02) [Client part] IP-over-DNS tunneling, also known as DNS tunneling, is a method that circumvents typical network protections by encapsulating regular requests and responses (such …

   C 4 1

3. mini-c mini-c Public

   (2020.01 - 2020.03) Mini-C Compiler (MCC) is a project done in Ecole Polytechnique, proposed in the course INF564: Compilation. It is a compiler of Mini-C, a sub-language of the C language, contain…

   Java 2 1

4. EKF-SLAM-2D EKF-SLAM-2D Public

   EKF-SLAM in 2D using Victoria Park dataset

   MATLAB

5. snake-reinforcement-learning snake-reinforcement-learning Public

   Forked from SnakeRL-INF581/snake-reinforcement-learning

   Reinforcement learning project done in Ecole Polytechnique (INF581)

   Python