TY - RPRT TI - Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification AU - Haofei Hou AU - Fanxu Meng AU - Shunyi Zhao AU - Kairui Yang AU - Mengchen Cai AU - Lecheng Ruan AU - Qining Wang PY - 2026 UR - https://arxiv.org/abs/2608.28435 ID - 2608.28435 ER -