Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference

Alexis Linard, Ilaria Torre 0002, Anders Steen, Iolanda Leite, Jana Tumova. Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 9857-9862, IEEE, 2021. [doi]

Abstract

Abstract is missing.