Publications

Junfeng Chen, Yuxiao Zhu, An Zhuo, Xintong Zhang, Shuo Zhang, Guanghui Wen, Xiwang Dong, Meng Guo

Corresponding author

, Zhongkui Li

Corresponding author

(2025). LLMs Meet Formal Methods for Robot Swarms: Reliable, Explainable and Efficient Human-in-the-loop Planning in Unknown Environments. In Science Robotics.

Project Code Video Preprint

Yuxiao Zhu

Equal contribution

, Junfeng Chen

Equal contribution

, Xintong Zhang, Meng Guo

Corresponding author

, Zhongkui Li (2025). DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Models. In IROS 2025.

Project Code Video PDF DOI

Xintong Zhang

Equal contribution

, Junfeng Chen

Equal contribution

, Yuxiao Zhu, Bing Luo, Meng Guo

Corresponding Author

(2025). CoCoPlan: Adaptive Coordination and Communication for Multi-robot Systems in Dynamic and Unknown Environments. In IEEE Robotics and Automation Letters (RA-L).

Junfeng Chen, Yuxiao Zhu, Xintong Zhang, Bing Luo, Meng Guo

Corresponding author

(2025). SLEI3D: Simultaneous Exploration and Inspection via Heterogeneous Fleets under Limited Communication. In IEEE Transactions on Automation Science and Engineering (T-ASE).

Project Code Video DOI