Formation Control for Second-order Discrete-time Multi-agent Systems with Nonlinear Dynamics Using Neural Networks | IEEE Conference Publication | IEEE Xplore