Collision avoidance for UAVs using reachable sets | IEEE Conference Publication | IEEE Xplore