Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Sommersemester
2023
2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods -
Veranstaltungstermin | Raum
- Donnerstag, 13.4.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 27.4.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 25.5.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 1.6.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 29.6.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 6.7.2023 16:15 - 17:45 | A03 2-209
- Donnerstag, 13.7.2023 16:15 - 17:45 | A03 2-209
Beschreibung
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?
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?
Lehrende
SWS
2
Lehrsprache
deutsch und englisch