Zhiming Chi

Certifying the Full YOLO Pipeline: A Probabilistic Verification Approach

Object detection systems are essential in safety-critical applications, but they are vulnerable to object disappearance (OD) threat, in which valid objects become undetected under small input perturbations, creating serious risks. This paper addresses the problem of verifying the robustness of YOLO…

Resource-Constrained Robotic Planning in the Face of Mixed Uncertainty