ML Anthology

Liu, Zhiming

1 publications

AAAI 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu