Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study. - Aaron Pereira; Mareike Baumann; Jonas Gerstner; Matthias Althoff (IEEE Trans Autom. Sci. Eng., 2023)