Seminar |
Technische Universität Dresden |
Number | Student | Paper | Tutor | Partner Paper | Presentation Date | Report Due |
---|---|---|---|---|---|---|
1 | Christian Fraß | R. Gerth et al., Simple On-the-fly Automatic Verification of LTL | Felix Distel | 6 | January 30th | December 16th |
4 | Wu Xichuan | J.-M. Couvreur et al., On-the-fly Emptiness Checks for Generalized Büchi Automata | Barbara Morawska | 1 | January 30th | December 22nd |
5 | Martin Aleksandrov | Efficient Büchi Automata from LTL Formulae | Marcel Lippmann | 4 | January 30th | December 22nd |
6 | Shqiponja Ahmetaj | O.H. Ibarra, On two-way Multihead Automata | Felix Distel | 9 | January 20th | December 9th |
9 | Oliver Fernandez Gil | J. Engelfriet et al., Nested pebbles and transitive closure | Felix Distel | 5 | January 20th | December 16th |