Reactive Temporal Logic Planning for Safe Human-Robot Interaction. - Xiangcheng Liu; Ziyang Chen; Yinxiao Tian; Zhen Kan (IROS, 2025)

Kilohertz-Safe: A Scalable Framework for Constrained Dexterous Retargeting. - Yinxiao Tian; Ziyi Yang; Zinan Zhao; Zhen Kan (CoRR, 2026)