research
∙
08/08/2023
The Social Triad model of Human-Robot Interaction
Despite the increasing interest in trust in human-robot interaction (HRI...
share
research
∙
06/11/2021
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
We present a tool-supported approach for the synthesis, verification and...
research
∙
07/17/2020
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
The coordinated assurance of interrelated critical properties, such as s...
research
∙
11/24/2018
Deep Learning Inference in Facebook Data Centers: Characterization, Performance Optimizations and Hardware Implications
The application of deep learning techniques resulted in remarkable impro...
research
∙
04/16/2017