夏曾等：用贝叶斯神经网络控制器对非线性系统进行安全验证。(2023) conf/aaai/曾YZTZ023 10.1609/AAAI。V37I12.26782版 用贝叶斯神经网络控制器对非线性系统进行安全验证。 6 夏曾 1 杨正峰 2 李章 三 唐晓超 4 曾振兵 5 刘志明0001 6 15278-15286 AAAI公司 AAAI公司 2023 2023 dblp记录“conf/aaai/ZengYZTZ023”的RDF数据的来源信息 2023-09-04T16:50:28+0200