Detailseite
Person
Professor Dr. Daniel Neider
Adresse
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
-
Als Antragsteller
-
laufende Projekte
-
Verifikation von Anomaliedetektoren (Forschungsgruppen)
-
TLS4AI: Temporal Logic Sketching für Künstliche Intelligenz (Sachbeihilfen)
-
-
laufende Projekte
