Towards Certified Object Detectors: Certified Runway Detection Using Yolo | IEEE Conference Publication | IEEE Xplore