Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

GERiT Diese Institution in GERiT

44227 Dortmund

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Temporal Logic Sketching: ein computergestützter Ansatz zum Erstellen formaler Spezifikationen
    (Antragsteller Neider, Daniel )
Forschungsgruppen
- laufende Projekte
  - FOR 5359: KI-FOR: Deep Learning auf dünnbesetzten, chemischen Prozessdaten
    (Sprecher Kloft, Marius )
  - Verifikation von Anomaliedetektoren
    (Antragsteller Neider, Daniel )

© 2024 DFG Kontakt / Impressum / Datenschutz