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
2025
2.01.490 Logical Methods in AI Verification -
Veranstaltungstermin | Raum
Veranstaltungsort
- n. V. Bitte wenden Sie sich an die Lehrenden. Raum A02 3-334
Beschreibung
In this seminar, we will take a look at logical methods for AI verification and explanation.
lecturer
TutorIn
SWS
2
Lehrsprache
englisch