Xiangcheng Liu, Ziyang Chen, Yinxiao Tian, Zhen Kan. Reactive Temporal Logic Planning for Safe Human-Robot Interaction. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2025, Hangzhou, China, October 19-25, 2025. pages 17413-17419, IEEE, 2025. [doi]
Abstract is missing.