Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference.

Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova

Browse the full IROS paper archive.