Modeling and Stability Analysis of the Nonholonomic Multi-Agent Formation Problem | IEEE Conference Publication | IEEE Xplore