Project Details
Person
Professor Dr. Daniel Neider
Address
Technische Universität Dortmund
Fakultät für Informatik
Professur für Verifikation und formale Garantien des maschinellen Lernens
Otto-Hahn-Straße 14
44227 Dortmund
ORCID-ID 0000-0001-9276-6342
-
As Applicant
-
Current projects
-
Verification of Anomaly Detectors (Research Units)
-
Current projects
