Zhang, Hongchao

2 publications

NeurIPS 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark

NeurIPS 2023 Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark