@正在进行{DBLP:conf/ijcai/BozzanoCRT11，author={Marco Bozzano和亚历山德罗·西马蒂和Marco Roveri和Andrei Tchaltsev}，编辑器＝{Toby Walsh}，title={车载自主验证和确认的综合方法}，booktitle={{IJCAI}2011，第22届国际联合会议记录7月16日至22日，西班牙加泰罗尼亚巴塞罗那，人工智能，2011},页数={2398--2403}，publisher={{IJCAI/AAAI}}，年份={2011}，url={https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400},doi={10.5591/978-1-57735-516-8/IJCAI11-400}，timestamp={2021年10月14日星期四10:39:49+0200}，比布尔={https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}