Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found
here
.
Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Open Projects
Ongoing Projects
Finished Projects
Research
Tools
Heroes of Computer Science
Help
Student Projects
Master/Diploma Theses
Extension of a GPU-based solver for Parity Games
(
PDF Description )
Status:
Available
Contact: luttenbe@model.in.tum.de
Supervisor: Michael Luttenberger
Advisor: Javier Esparza
Contact
Student Projects
PDF Description )
