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]

Authors

Alexis Linard

This author has not been identified. Look up 'Alexis Linard' in Google

Ilaria Torre 0002

This author has not been identified. Look up 'Ilaria Torre 0002' in Google

Anders Steen

This author has not been identified. Look up 'Anders Steen' in Google

Iolanda Leite

This author has not been identified. Look up 'Iolanda Leite' in Google

Jana Tumova

This author has not been identified. Look up 'Jana Tumova' in Google