BibTeX记录conf/cav/YangZZTPZ23
@进行中{DBLP:conf/cav/YangZZTPZ23， author={杨正峰和 李章和 夏曾和 唐晓超和 赵鹏和 曾振兵， editor={Constantin Enea和 阿卡什·拉尔}， title={Reach-Avoid非线性系统的混合控制器综合 约束}， booktitle={计算机辅助验证-第35届国际会议，{CAV} 2023年，法国巴黎，2023年7月17日至22日，诉讼程序，第｛I｝部分， series={计算机科学讲义}， 体积={13964}， 页数={304--325}， publisher={Springer}， 年份={2023}， url={ https://doi.org/10.1007/978-3-031-37706-8 \_16}, doi={10.1007/978-3-031-37706-8\_16}， 时间戳＝{2023年9月12日星期二07:57:21+0200}， biburl={ https://dblp.org/rec/conf/cav/YangZZTPZ23.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
