Seminar: Machine Learning and Formal Verification
Schedule online course:
- Seminar (Prof. Dr. Stefan Leue, Dr. Christian Schilling)
Thursday 13:30 - 15:00 Start: Nov 12
Workload
90 hours, of which 28 hours are spent in class and 62 hours of self study.
Course content
Performing quality assurance for software systems relying on machine learning components, such as Deep Neural Networks (DNNs), is difficult since such components to not have internal structure that can directly and easily explain why some result was computed by the component. In this seminar we will review approaches towards quality assurance for machine learning based systems using formal verification and testing. Applications from various domains, including automated driving, will be presented.
Teaching methods
This course takes place as an online course.
Further details on the course will be provided in ILIAS.
Please register in ZEuS for the course, which will register you automatically in ILIAS as well.
Learning objectives
This seminar aims at presenting some first approaches towards the development of formal verification technology in order to proof properties of DNNs, or to test whether DNNs satisfy certain properties.
Course literature
Literature will be announced during the preliminary meeting and on the related web-pages.
Target group
Bachelor-level and Master-level course.
Remark
The course will be taught in English. All course materials will be in English.
Expected course achievement
30 - 45 min. presentation + 15 min. discussion
Credits
2 SWS
3 ECTS-Points