SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions - Zhang, Hongchao; Qin, Zhizhen; Gao, Sicun; Clark, Andrew (Advances in Neural Information Processing Systems, 2024)