Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates | IEEE Conference Publication | IEEE Xplore