Exact Verification of ReLU Neural Control Barrier Functions - Zhang, Hongchao; Wu, Junlin; Vorobeychik, Yevgeniy; Clark, Andrew (Advances in Neural Information Processing Systems, 2023)