Cyber-Physical Systems

Vor der Markteinführung müssen neue Computersysteme auf ihre Korrektheit überprüft werden. Jedoch ist eine vollständige Verifikation aufgrund der Komplexität…

Das Team der Universität Bremen und des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) jubelt. B-Human hat es geschafft, sich nach drei Jahren…

Nach 10 Jahren findet die RoboCup-Weltmeisterschaft nun erneut in Deutschland statt, und zwar vom 30. Juni bis 3. Juli 2016 in Leipzig – mit dabei wieder das…

Das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen kann 2016 auf zehn Jahre erfolgreiche Forschungsarbeit zurückblicken. Von Beginn an…

Roboter, die schwimmen, laufen oder im Team zusammenarbeiten, ein intelligenter Blaumann, der vor Haltungsschäden schützt und ein selbstfahrendes Elektroauto,…