Practical time-varying formation tracking for second-order nonlinear multi-agent systems with multiple leaders using adaptive neural networks