夏曾 杨正峰 李章 唐晓超 曾振兵 刘志明0001 用贝叶斯神经网络控制器对非线性系统进行安全验证。 15278-15286 2023 AAAI公司 https://doi.org/10.1609/aai.v37i122.26782网址 会议/aai/2023 db/conf/aaai/aaai2023.html#ZengYZTZ023