Explore projects

Verification for Decision Model and Notation - Master thesis project of Jonas Blatt - Implementation Project - WiSe 19/20 - SoSe20

This repository holds the semantic segmentation net used by the robot competition team homer@UniKoblenz.

The backend application for the observer (written in python/django)