“…where U (k) is the control space for type k robots, X (k) is the free space for type k robots, r (lk) is the minimum safety distance between type l and type k robots, f (k) a,max is the maximum endurable interaction force for type k robots, τ (k) a,max is the maximum endurable interaction torque for type k robots, x (i) s is the start state of robot i, and x (i) f is the desired state of robot i. In contrast to existing literature [6], we assume a tight spherical collision model and bound the interaction forces directly, eliminating the need of manually defining virtual collision shapes. For instance, larger f I(i) a,max and τ I(i) a,max will yield denser and more aggressive trajectories.…”