Zhong, Bingzhuo

2 publications

AAAI 2023 Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo

L4DC 2022 Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani