We gratefully acknowledge support from
the Simons Foundation and member institutions.

Hongchao Zhang is qualified to endorse.

Exact Verification of ReLU Neural Control Barrier Functions

Hongchao Zhang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG, cs.RO, cs.SY, eess.SY. (why?)

Junlin Wu, Yevgeniy Vorobeychik and Andrew Clark are not registered as owners of this paper. (why?)