Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 3 von 3
  1. Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

    Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

    Deep-Learning-Verfahren werden in vielen Anwendungsgebieten eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über …

  2. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der …

  3. SAMS – Sicherungskomponente für Autonome Mobile Systeme

    SAMS – Sicherungskomponente für Autonome Mobile Systeme

    Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit …