Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters
Alexis Linard,Ilaria Torre,Iolanda Leite,Jana Tumova,Alexis Linard,Ilaria Torre,Iolanda Leite,Jana Tumova
This paper is interested in formalizing human trajectories in human-robot encounters. Inspired by robot navigation tasks in human-crowded environments, we consider the case where a human and a robot walk towards each other, and where humans have to avoid colliding with the incoming robot. Further, humans may describe different be-haviors, ranging from being in a hurry/minimizing completion time to...
