2 citations · 2 across the 11 of their papers we have counts for
4 papers · 1 filter
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…