|
Learning and Verifying Complex Behaviour of Humanoid Robots
|
Jun 2020 - May 2024 |
BMBF |
|
Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems
|
Apr 2020 - Mar 2023 |
BMBF |
|
AI-Space for Intelligent Health Systems
|
Apr 2020 - Mar 2023 |
DFG |
|
AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer
|
Mar 2020 - Mar 2023 |
BMBF |
|
Cooperative, modular, mobile Smart Life Lab
|
Feb 2020 - Jan 2023 |
BMBF |
|
Artificial intelligence Supporting CAncer Patients across Europe
|
Jan 2020 - Dec 2022 |
Land |
|
Combination of Symbolic and Subsymbolic Methods
|
Nov 2019 - Oct 2022 |
BMBF |
|
A Sound Verification Platform for Early Software Development for RISC-V based Systems
|
Aug 2019 - Jul 2022 |
BMBF |
|
Textile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home
|
Jul 2019 - Jun 2022 |
BMBF |
|
Scalable Security Architectures for Commercial Workflows in German Harbors
|
Nov 2018 - Oct 2021 |
Bundesministerium für Verkehr und digitale Infrastruktur (BMVI) |
|
Intuitive-nonverbal and informative-verbal robot-human communication
|
Jun 2018 - May 2021 |
BMBF |
|
Timely Validation of Safey and Security Requirements in Autonomous Vehicles
|
May 2018 - Apr 2021 |
BMBF |
|
Verifikation eines QuadCore-Prozessors
|
Oct 2016 - Mar 2021 |
funding.16.short |
