Lyapunov method-based collision avoidance for UAVs | IEEE Conference Publication | IEEE Xplore