SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Browse the full SAFECOMP paper archive.