Author of the publication

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

, , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 283-295. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 283-295. Springer, (2016)A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications., , , and . Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 12-27. Springer, (2017)PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load/Unload Stations., , , , , , , , , and 5 other author(s). EuRoC, volume 136 of Springer Tracts in Advanced Robotics, Springer, (2020)Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications., , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 89-104. Springer, (2017)