4 papers
Collaborative Planning with Concurrent Synchronization for Operationally Constrained UAV-UGV Teams
Zihao Deng, Qianhuang Li, Peng Gao +4
Collaborative planning under operational constraints is an essential capability for heterogeneous robot teams tackling complex large-scale real-world tasks. Unmanned Aerial Vehicle…
NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
Zihao Deng, Yijia Li, Renrui Zhang +1
Cognitive computing models offer a formal and interpretable way to characterize human's deliberation and decision-making, yet their development remains labor-intensive. In this pap…
Subteaming and Adaptive Formation Control for Coordinated Multi-Robot Navigation
Zihao Deng, Peng Gao, Williard Joshua Jose +5
Coordinated multi-robot navigation is essential for robots to operate as a team in diverse environments. During navigation, robot teams usually need to maintain specific formations…
MMSearch-R1: Incentivizing LMMs to Search
Jinming Wu, Zihao Deng, Wei Li +5
Robust deployment of large multimodal models (LMMs) in real-world scenarios requires access to external knowledge sources, given the complexity and dynamic nature of real-world inf…