Robust Airborne Collision Avoidance through Dynamic Programming