Project topic in this semester: formal safety and security of neural networks. The participants are expected to work in a research context, develop supporting software and document their results in a report.
- Trainer/in: Andrei Aleksandrov
- Trainer/in: Uwe Nestmann