Binghan He, Gray C. Thomas, Luis Sentis: Robust Estimator-Based Safety Verification: A Vector Norm Approach. ACC 2020: 3419-3424