Safe Formation Control of Uncertain Multiagent Systems From a Bayesian Perspective | IEEE Journals & Magazine | IEEE Xplore