2 citations · 2 across the 11 of their papers we have counts for
3 papers · 1 filter
Belief Space Planning for Risk Signal Temporal Logic via Mixed-Integer Convex Programming
Shaohang Han, Joris Verhagen, Kaier Liang +1
Signal Temporal Logic (STL) specifies robot tasks with spatio-temporal requirements, and its robustness semantics allow planning by trajectory optimization. In practice, robots est…
ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models
Kaier Liang, Hengde Dai, Cristian-Ioan Vasile
Enabling robots to follow natural language commands to complete zero-shot long-horizon tasks remains challenging. It requires extracting implicit temporal and logical constraints f…
Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
Licheng Luo, Kaier Liang, Cristian-Ioan Vasile +1
Executing complex manipulation in cluttered environments requires satisfying coupled geometric and temporal constraints. Although Spatio-Temporal Logic (SpaTiaL) offers a principle…