CoRL 2025
Jianpeng Yao, Xiaopan Zhang*, Yu Xia*, Zejin Wang, Amit K. Roy-Chowdhury, Jiachen Li
- A conformal inference–guided constrained RL framework for crowd navigation, achieving 96.93% success rate and 3.72× fewer collisions with robust out-of-distribution performance.
- Led the real-robot deployment: built the ROSMASTER X3 sim-to-real stack with LiDAR-based pedestrian detection feeding real-time 3D positions to the RL policy, and conducted crowd-interaction experiments in both sparse and dense environments.
IROS 2026
Licheng Luo, Kaier Liang, Yu Xia, Mingyu Cai
- A hierarchical translation framework that converts natural language into verifiable geometric spatio-temporal logic (SpaTiaL) specifications for manipulation tasks.
- Conducted early-stage real-robot validation on ALOHA 2, evaluating π0-generated manipulation trajectories against translated SpaTiaL specifications to verify spatio-temporal constraint satisfaction.