Video2STL: Grounding VLM-Generated Temporal Specifications for Robot Learning
Video2STL is presented, a framework that converts observation-only videos into parametric Signal Temporal Logic (STL) specifications and uses the resulting formal representation for robot learning, and supports cross-embodiment transfer from human or animal videos to robot control.
Merve Atasever, Keyan Azbijari, Cagan Bakirci et al.
· 0 citations