Rui-Guo Li Ze-Hao Shi Jin-Liang Wang Multi-Robot Source Exploration Under Prescribed-Time Formation Control. 419-433 2024 ICIRA (4) https://doi.org/10.1007/978-981-96-0798-3_31 conf/icira/2024-4 db/conf/icira/icira2024-4.html#LiSW24 streams/conf/icira