SPORE (Symbolic Partial sOlvers for REalizability)

A prototype symbolic implementation of partial solvers for (generalized) parity games applied to LTL realizability.

Time Series Forecasting Using Neural Networks and Statistical Models

The goal of this project is to forecast future web traffic for Wikipedia articles using different techniques ranging from statistical models to deep neural networks.

Forest fire detection using CNN

Using convolutional neural networks (CNN) to detect the presence or the start of a forest fire in an image. This model could be applied to detect a fire or a start of a fire from (aerial) surveillance footage of a forest.

Game solver

Python implementation of reachability/safety games solver as well as weak parity and strong parity games solver.