| Kommentar |
Intelligente und lernende Systeme sollen zunehmend auch in sicherheitskritischen Bereichen, wie etwa der Steuerung autonomer Fahrzeuge zur Personenbeförderung, eingesetzt werden. Dazu müssen sie ein Sicherheitsniveau erreichen, welches dem menschlicher Fahrer zumindest nicht nachsteht. Es ist eine ungelöste Fragestellung, welche Absicherungsmechanismen hierfür eingesetzt werden können, und wie eine geeignete Nachweisführung für die Sicherheitsanforderungen aussieht. In diesem Seminar wollen wir neuere Arbeiten betrachten, die sich mit dieser Thematik auseinander setzen. Von den Teilnehmerinnen und Teilnehmern wird erwartet, dass sie jeweils ein Referat über eine Originalarbeit halten, und im Anschluss an das Semester eine schriftliche Ausarbeitung ihres Vortrags verfassen. |
