Neural-Adaptive Finite-Time Formation Tracking Control of Multiple Nonholonomic Agents With a Time-Varying Target.