Instructors
- Lecturer: Prof. Jan Kretinsky
- Supervisors:
Stefanie Mohr, Sabine Rieder, Muqsit Azeem
Content
Neural Networks have gained a lot of interest in the last few years. They are able to solve more and more problems, where even humans fail. Therefore, they are increasingly used also in safety-critical systems where it is of utmost importance that their behavior is correct.
Therefore, the research area of their verification is growing. In this seminar, we want to introduce recent topics in high-level conferences by reading and presenting recent publications.
Overview
- Language: English
- Practice Talks: 12.06, 16:00-18:00 (room: 03.09.014)
- Abstracts due: 04.07. EOD
- Final Presentations: 12.07, 09:00-14:00 (room: 03.09.014)
News
- Pre-course meeting will be held on-site only on 08.02.23, 16:00-16:30 (room: 03.09.014) and online (link: https://bbb.in.tum.de/ste-zjv-leb-isb).
- To be preferred in the matching, please send an email by 14.02 at 23:59:59. Checkout the slides for details.
- See the Slides of the pre-meeting for information on course structure and expectations.
- See the slides of the first meeting for information on the course and the possible topics.