Formation Control With Obstacle Avoidance for a Class of Stochastic Multiagent Systems | Synapse