Projects
13 running Projects
| Project | |
|---|---|
|
VeryHumanLearning and Verifying Complex Behaviour of Humanoid Robots |
|
AUTOASSERTSimulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems |
|
KI-SIGSAI-Space for Intelligent Health Systems |
|
AdaMeKoRAdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer |
|
KosmoSCooperative, modular, mobile Smart Life Lab |
|
|
ASCAPEArtificial intelligence Supporting CAncer Patients across Europe |
|
|
Fast&SlowCombination of Symbolic and Subsymbolic Methods |
|
VerSysA Sound Verification Platform for Early Software Development for RISC-V based Systems |
|
ConTextTextile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home |
|
SecProPortScalable Security Architectures for Commercial Workflows in German Harbors |
|
INTUITIVIntuitive-nonverbal and informative-verbal robot-human communication |
|
|
SATiSFyTimely Validation of Safey and Security Requirements in Autonomous Vehicles |
|
QuadCore SoCVerifikation eines QuadCore-Prozessors |
