Visitenkarte - Alle Veranstaltungen für "Prof. Dr. Daniel Neider"

Aktuelle Lehrveranstaltungen für Prof. Dr. Daniel Neider

Wintersemester 2022/2023

• 2.01.599 Explainable AI
• 2.01.809 Moderne Themen der Automatenthehorie und Logik

Sommersemester 2022

• 2.01.488 Advanced Automata Theory
• 2.01.494 Applied Verification Lab: Neural Networks
• 2.01.495 Verification of Neural Networks
• 2.01.801-A Forschungsseminar Sicherheit und Erklärbarkeit Lernender Systeme
• 2.01.AM-A Oberseminar Sicherheit und Erklärbarkeit Lernender Systeme