Multi-agent formation maneuvering and target interception with double-integrator model | IEEE Conference Publication | IEEE Xplore