| Sep 25, 2024 | [Accepted by NeurIPS2024] SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions, Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark |
| Sep 8, 2024 | [Accepted by ICAA2024] Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems, Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran |
| Jul 25, 2024 | [Accepted by CDC2024] Learning a Formally Verified Control Barrier Function in Stochastic Environment, Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya |
| Jul 25, 2024 | [Accepted by CDC2024] Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions, Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark |