Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration

Mehrnoosh Askarpour. Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration. PhD thesis, Polytechnic University of Milan, Italy, 2018. [doi]

Abstract

Abstract is missing.