Encounter modeling for sense and avoid development | IEEE Conference Publication | IEEE Xplore