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

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

You are not logged into Stud.IP.

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

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.