Multi-Agent Formation Control With Obstacle Avoidance Using Proximal Policy Optimization | IEEE Conference Publication | IEEE Xplore