Matthias Althoff, Matthias Mayer, Robert Müller. Automatic Synthesis of Human Motion from Temporal Logic Specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021. pages 4040-4046, IEEE, 2020. [doi]
Abstract is missing.