| Titel | Typ | Datum | Betreuer |
|---|---|---|---|
| Generation of Preconditions through Symbolic Backwards Execution | Masterarbeit | ab sofort (2020) | Marko Kleine Büning |
| Verification of Neural Networks - Generating Constraints during Training | Masterarbeit | ab sofort (2020) | Marko Kleine Büning |
