Instructors

• Lecturer: Prof. Jan Kretinsky
• Supervisor(s):

  Muqsit Azeem, Sabine Rieder

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

News

• See the Slides  for information on course structure and expectations.
• To be preferred in the matching, please send an email to muqsit.azeem@tum.de by 14.02 at 23:59:59. Checkout the slides for details.
• First meeting on 26.04 at 2pm, 03.09.014.
• Slides  for the first meeting.
• Practice talks on 03.06 at 11am, 03.09.014.
• Refer to the abstract template for your written work.