Project Details

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

Projects

As Applicant
- Current projects
  - Verification of Anomaly Detectors (Research Units)
- Completed projects
  - Temporal Logic Sketching: A Computer-aided Approach to Writing Formal Specifications (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Daniel Neider

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Daniel Neider

Additional Information

Textvergrößerung und Kontrastanpassung