马可·波扎诺 亚历山德罗·西马蒂 马可·罗维里 安德烈·查尔兹夫 车载自主验证和确认的综合方法。 2398-2403 2011 国际JCAI https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400 conf/ijcai/2011 db/conf/ijcai/ijcai 2011.html#BozzanoCRT11