Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2025
2.01.490 Logical Methods in AI Verification -
Event date(s) | room
Location
- n. V. Bitte wenden Sie sich an die Lehrenden. Raum A02 3-334
Description
In this seminar, we will take a look at logical methods for AI verification and explanation.
lecturer
Tutor
SWS
2
Lehrsprache
englisch