Preprint
Jul 2026
STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models
A hierarchical framework that uses Signal Temporal Logic (STL) as a shared representation connecting high-level language understanding with low-level robot execution is proposed, demonstrating how formal specifications can improve the precision, reliability, and interpretability of language-conditioned robot planning.
Kasra Torshizi, Anukriti Singh, Sidharth Mathur et al.
· 1 citation