Electrical & Systems Engineering, Washington University in St. Louis, St. Louis, MO 63130; Computer Science & Engineering, Washington University in St. Louis, St. Louis, MO 63130
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark
Safety;Neural Barrier Function;Verification
Exact Verification of ReLU Neural Control Barrier Functions