Multi-UAV Formation Obstacles Avoidance Path Planning Based on PPO Algorithm | IEEE Conference Publication | IEEE Xplore