BibTeX记录conf/cav/YangZLZTZL21
@在过程中{DBLP:conf/cav/YangZLZTZL21， author={杨正峰和 张一丹和 王林和 夏曾和 唐晓超和 曾振兵和 刘志明}， editor={Alexandra Silva和 K.Rustan M.Leino}， title={非线性系统安全强化学习的迭代方案 通过屏障证书生成}， booktitle={计算机辅助验证-第33届国际会议，{CAV} 2021年，虚拟事件，2021年7月20日至23日，会议记录，第{I}}部分， series={计算机科学讲稿}， 体积={12759}， 页码＝{467-490}， publisher={Springer}， 年份＝{2021}， url={ https://doi.org/10.1007/978-3-030-81685-8 \_22}, doi={10.1007/978-3-030-81685-8\_22}， timestamp={2022年6月23日星期四19:58:07+0200}， 比布尔={ https://dblp.org/rec/conf/cav/杨ZLZTZL21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
