Jonathan Fredberg

Hand It to Me Formally! Data-Driven Control for Human-Robot Handovers With Signal Temporal Logic

To facilitate human-robot interaction (HRI), we aim for robot behavior that is efficient, transparent, and closely resembles human actions. Signal Temporal Logic (STL) is a formal language that enables the specification and verification of complex temporal properties in robotic systems, helping to e