Hand It to Me Formally! Data-Driven Control for Human-Robot Handovers With Signal Temporal Logic. - Parag Khanna; Jonathan Fredberg; Mårten Björkman; Christian Smith; Alexis Linard (IEEE Robotics Autom. Lett., 2024)