A rendezvous approach for correcting accumulative errors of multiple robots. - Xuefeng Dai; Zheping Yan; Jianqi Zhao 002; Dahui Li (EURASIP J. Wirel. Commun. Netw., 2018)

Predicate logic reasoning for exploration coordination of multi-robot systems in structured environments. - Xuefeng Dai; Jiazhi Wang; Jianqi Zhao 002; Dahui Li; Zhifeng Yao 001 (Concurr. Comput. Pract. Exp., 2022)