External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini. SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. In Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Volume 9922 of Lecture Notes in Computer Science, pages 283-295, Springer, 2016. [doi]

Authors

Mehrnoosh Askarpour

This author has not been identified. Look up 'Mehrnoosh Askarpour' in Google

Dino Mandrioli

This author has not been identified. Look up 'Dino Mandrioli' in Google

Matteo Rossi

This author has not been identified. Look up 'Matteo Rossi' in Google

Federico Vicentini

This author has not been identified. Look up 'Federico Vicentini' in Google
runs on