Certified Separation Assurance for sUAS under GPS Degradation via Robust Control Barrier Functions

This paper tries to answer the question: how do we certify safety at for autonomous separation assurance data-driven algorithms at runtime despite GPS degradation and spoofing?

This manuscript is currently under review for presentation at DASC 2026.