Allgemeine Informationen

Veranstaltungsname	Seminar: 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods
Untertitel	inf377, inf800, inf808
Veranstaltungsnummer	2.01.377
Semester	SoSe2023
Aktuelle Anzahl der Teilnehmenden	10
erwartete Teilnehmendenanzahl	10
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Seminar in der Kategorie Lehre
Erster Termin	Donnerstag, 13.04.2023 16:15 - 17:45, Ort: A03 2-209
Art/Form
Lehrsprache	deutsch und englisch

Lehrende

Räume und Zeiten

A03 2-209: Donnerstag: 16:15 - 17:45, wöchentlich (7x)

Modulzuordnungen

Kommentar/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?

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:

Die Anmeldung ist gesperrt.

Seminar: 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods - Details