Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification

Haofei Hou, Fanxu Meng, Shunyi Zhao +4

Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such t…