Projects

FAIRe – Frugal Artificial Intelligence in Resource-limited environments

Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with …

ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

Fast&Slow – Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

INTUITIV – Intuitive-nonverbal and informative-verbal robot-human communication

The project aims at investigating how intentions of a robot can be understood by humans through anticipatory path selection in combination with iconic …

HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

The project HySociaTea (Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments), which is funded by the German Federal …

SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

Motivation In many physically challenging jobs with heavy movements the risk for developing occupational illnesses after the age of 50 is …

SAMS – Safety component for autonomous mobile service robots

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a …