I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Student Projects

Master/Diploma Theses
Extension of a GPU-based solver for Parity Games
( PDF Description )
AvailableStatus: Available
Contact: luttenbe@model.in.tum.de
Supervisor: Michael Luttenberger
Advisor: Javier Esparza

Bachelor Theses
Bachelorarbeiten zu AutomataTutor
( Further Information )
AvailableStatus: Available
Contact: theo-uebungsleitung@in.tum.de
Supervisor: Salomon Sickert
Advisor: Javier Esparza