Quantitative Safety Guarantees for Physical Human-Robot Interaction | Synapse