Dynamic logic selection for unmanned aircraft separation | IEEE Conference Publication | IEEE Xplore