TY - RPRT TI - STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models AU - Kasra Torshizi AU - Anukriti Singh AU - Sidharth Mathur AU - Khuzema Habib AU - Leo Du AU - Pratap Tokekar PY - 2026 UR - https://arxiv.org/abs/2607.18580 ID - 2607.18580 ER -