I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Thesis Details

Thesis:Small deterministic Omega­ Automata for LTL: A second generation implementation.
The implementation is under construction here.

DoneStatus: Finished
Contact: sickert@in.tum.de
Supervisor: Salomon Sickert
Advisor: Javier Esparza