STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models
DGX agentarXiv:2607.18580v2 Announce Type: replace Abstract: Natural-language robot instructions often specify more than a coarse task goal: they may impose spatial, temporal, and logical requirements that mus