Computational Foundations for Safe and Efficient Human-Robot Collaboration in Assembly Cells