Dynamic Topology Inference via External Observation for Multi-Robot Formation Control