Bai, Jianhao

1 publications

ICLRW 2025 Verifying Omega-Regular Properties of Neural Network-Controlled Systems via Proof Certificates Peixin Wang, Jianhao Bai, Dapeng Zhi, Min Zhang, Luke Ong