A prototype symbolic implementation of partial solvers for (generalized) parity games applied to LTL realizability.
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.
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.
Python implementation of reachability/safety games solver as well as weak parity and strong parity games solver.