Formation control for multiple mobile robots based on the Spiking Neural Network | IEEE Conference Publication | IEEE Xplore