Using a designed vector field to guide robots to follow a given geometric desired path has found a range of practical applications, such as underwater pipeline inspection, warehouse navigation, and highway traffic monitoring. It is thus in great need to build a rigorous theory to guide practical implementations with formal guarantees. It is even so when multiple robots are required to follow predefined desired paths or maneuver on surfaces and...