Bachelor- oder Masterarbeiten und Projekte
In der Spezialisierung Algorithmen und Deduktion finden Sie einige bisherige Masterarbeiten.
- Variable Independence in Linear Real Arithmetic
- Synthesis for parameterized Systems
- Interpreting Register Automata and other Sequential Models