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.


  • Language: English
  • Practice Talks: 12.06, 16:00-18:00 (room: 03.09.014)
  • Abstracts due: week of 03.07.
  • Final Presentations: week of 10.07.