Preprint
Aug 2026
Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification
Experiments show that SCR improves both domain-constraint satisfaction and generalization, providing an effective and interpretable approach for translating human intent into verifiable specifications for robotic execution.
Haofei Hou, Fan-Xu Meng, Shunyi Zhao et al.
· 0 citations