Das Seminar adressiert die folgenden Fragen: Welche KI-Systeme werden im Kontext automatisierter und autonomer Fahrfunktionen eingesetzt? Welche Funktionen sollen diese erfüllen? Was sind aktuelle und zukünftige Herausforderungen in Hinblick auf den Einsatz von KI im Automotive Bereich? Was sind formale Methoden und wie können formale Methoden im Automotivbereich eingesetzt werden? Wie lässt sich vorhandenes Wissen nutzen, um die Vertrauenswürdigkeit von AI-Systeme zu steigern? Welche formalen Methoden sind geeignet, um die Sicherheit von AI-System nachzuweisen?
