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

Bachelor Theses
Small deterministic Omega­ Automata for LTL: A second generation implementation.
( PDF Description )( Further Information )
AssignedStatus: Assigned
Contact: sickert@in.tum.de
Supervisor: Salomon Sickert
Advisor: Javier Esparza