BibTeX记录conf/aaai/ZengYZTZ023
@正在进行{DBLP:conf/aaai/ZengYZTZ023， author={夏曾和 杨正峰和 李章和 唐晓超和 曾振兵和 刘志明}， editor={Brian Williams和 陈一玲和 詹妮弗·内维尔}， title={用贝叶斯神经网络对非线性系统进行安全验证 控制器}， booktitle={第三十七届{AAAI}人工智能会议 2023年，第三十五届人工智能创新应用会议 智能，{IAAI}2023，第十三届教育进步研讨会 人工智能，{EAAI}2023，华盛顿特区，美国，2月 7-14, 2023}, 页码={15278--15286}， publisher={{AAAI}出版社}， 年份={2023}， url={ https://doi.org/10.1609/aaai.v37i12.26782 }, doi={10.1609/AAAI.V37I12.26782}， timestamp={2023年9月4日星期一16:50:28+0200}， biburl={ https://dblp.org/rec/conf/aaai/ZengYZTZ023.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
