6 papers
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…
NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
Licheng Luo, Kaier Liang, Yu Xia +1
While Temporal Logic provides a rigorous verification framework for robotics, it typically operates on trajectory-level signals and does not natively represent the object-centric g…
Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
Kaier Liang, Licheng Luo, Yixuan Wang +2
Safe navigation in dynamic environments remains challenging due to uncertain obstacle behaviors and the lack of formal prediction guarantees. We propose two motion planning framewo…
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with divers…
Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
Kaier Liang, Guang Yang, Mingyu Cai +1
We propose a novel framework for safe navigation in dynamic environments by integrating Koopman operator theory with conformal prediction. Our approach leverages data-driven Koopma…