4 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…
Multiagent Social Influence: Modeling Persuasion in Contested Social Networks
Renukanandan Tumu, Cristian Ioan Vasile, Victor Preciado +1
We present the Social Influence Game (SIG), a framework for modeling adversarial persuasion in social networks with an arbitrary number of competing players. Our goal is to provide…
STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
Hongrui Zheng, Zirui Zang, Ahmad Amine +2
Signal Temporal Logic (STL) enables formal specification of complex spatiotemporal constraints for robotic task planning. However, synthesizing long-horizon continuous control traj…
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…