Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Dortmund
Fakultät für Informatik
Professur für Verifikation und formale Garantien des maschinellen Lernens

Address Otto-Hahn-Straße 14
44227 Dortmund
Deutschland

GERiT This institution in GERiT

44227 Dortmund

Projects

Research Grants
- Completed projects
  - Temporal Logic Sketching: A Computer-aided Approach to Writing Formal Specifications
    (Applicant Neider, Daniel )
Research Units
- Current projects
  - FOR 5359: KI-FOR: Deep Learning on Sparse Chemical Process Data
    (Spokesperson Kloft, Marius )
  - Verification of Anomaly Detectors
    (Applicant Neider, Daniel )

© 2024 DFG Disclaimer / Copyright / Privacy Policy