Pinned Repositories
Anchors-signals-MCTS
Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search
Anchors-signals-MCTS
Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search
basketball-game
(2019.03 - 2019.05) This game is a project done in Ecole Polytechnique, proposed in the course INF443: Informatique graphique 3D. It is a very simple basketball game written in C++ using OpenGL as API in order to create 3D scenes.
EKF-SLAM-2D
EKF-SLAM in 2D using Victoria Park dataset
IP-over-DNS-Client
(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 as HTTP requests) into the standard DNS format, which is often subject to less scrutiny.
mini-c
(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, containing integers and pointers to structures. Written in Java, it takes a Mini-C program (.c) in input and compiles it to an X86-64 text assembly file (.s).
peer-discover-maintain-sync
(2019.11 - 2019.12) This is an individual work done in Ecole Polytechnique, in the course INF557: From the Internet to the IoT. It implements an distributed application using algorithms and patterns of routing protocols which locally discover and maintain a peer and create a consistent distributed database.
ratp-data-analysis
(2019.04 - 2019.05) This is a project done in Ecole Polytechnique, proposed in the course INF442: Algorithms of data analysis in C++. We collect measurements taken from the real-time API exposed by RATP (Paris metro). For RERA et RERB, we periodically poll a web service that reports estimated times of passage in order to analyze, data mine and compare these historical data with the theoretical ones.
snake-reinforcement-learning
Reinforcement learning project done in Ecole Polytechnique (INF581)
verification-neural-network
(2019.11 - 2019.12) This is a project done in Ecole Polytechnique, proposed in the course INF575: Safe Intelligent Systems. The goal is to verify neural networks by using case disjunctions and junctions for ReLU activation function in order to refine output results.
tzuyichiu's Repositories
tzuyichiu/IP-over-DNS-Client
(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 as HTTP requests) into the standard DNS format, which is often subject to less scrutiny.
tzuyichiu/mini-c
(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, containing integers and pointers to structures. Written in Java, it takes a Mini-C program (.c) in input and compiles it to an X86-64 text assembly file (.s).
tzuyichiu/peer-discover-maintain-sync
(2019.11 - 2019.12) This is an individual work done in Ecole Polytechnique, in the course INF557: From the Internet to the IoT. It implements an distributed application using algorithms and patterns of routing protocols which locally discover and maintain a peer and create a consistent distributed database.
tzuyichiu/Anchors-signals-MCTS
Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search
tzuyichiu/basketball-game
(2019.03 - 2019.05) This game is a project done in Ecole Polytechnique, proposed in the course INF443: Informatique graphique 3D. It is a very simple basketball game written in C++ using OpenGL as API in order to create 3D scenes.
tzuyichiu/EKF-SLAM-2D
EKF-SLAM in 2D using Victoria Park dataset
tzuyichiu/ratp-data-analysis
(2019.04 - 2019.05) This is a project done in Ecole Polytechnique, proposed in the course INF442: Algorithms of data analysis in C++. We collect measurements taken from the real-time API exposed by RATP (Paris metro). For RERA et RERB, we periodically poll a web service that reports estimated times of passage in order to analyze, data mine and compare these historical data with the theoretical ones.
tzuyichiu/snake-reinforcement-learning
Reinforcement learning project done in Ecole Polytechnique (INF581)
tzuyichiu/verification-neural-network
(2019.11 - 2019.12) This is a project done in Ecole Polytechnique, proposed in the course INF575: Safe Intelligent Systems. The goal is to verify neural networks by using case disjunctions and junctions for ReLU activation function in order to refine output results.