Safe Adaptive Dynamic Programming-Based Formation Control and Collision Avoidance of Multi-UAV System | IEEE Conference Publication | IEEE Xplore