Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study | IEEE Journals & Magazine | IEEE Xplore