Lyapunov-like functions are designed elaborately, and formal analysis is made to show that all UAVs can pass through the 3-D roundabout without getting trapped. Taking the kinematic model of VTOL UAVs ...