Robot manipulation combined with perception and self-verification capabilities has the promise to substantially improve the lives of impaired individuals by supporting their physical and mental well-being.
Here, we propose a collaborative project between researchers across the Trustworthy Autonomous Systems Hub and the TAS Nodes to bridge the gap in the state-of-the-art research in Human-Robot Interaction (HRI) and in formal verification to address the trust deficit in collaborative human-robot working environments.
We present an integrated approach for a human-centric, robot-assisted dressing, with self-verifying capabilities to ensure user safety during collaborative HRI.
