General information

Course name	Seminar: 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods
Subtitle	inf377, inf800, inf808
Course number	2.01.377
Semester	SoSe2023
Current number of participants	10
expected number of participants	10
Home institute	Department of Computing Science
Courses type	Seminar in category Teaching
First date	Thursday, 13.04.2023 16:15 - 17:45, Room: A03 2-209
Type/Form
Lehrsprache	deutsch und englisch

Lecturers

Rooms and times

A03 2-209: Thursday: 16:15 - 17:45, weekly (7x)

Module assignments

Comment/Description

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?

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:

Admission locked.

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