Anders Steen

Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference

In this paper, we are interested in formalizing human trajectories in human-robot encounters. We consider a particular case where a human and a robot walk towards each other. A question that arises is whether, when, and how humans will deviate from their trajectory to avoid a collision. These human…