马可·波扎诺 亚历山德罗·西马蒂 马可·罗维里 车载自主验证和确认的综合方法。 46:1-46:29 2021 12 ACM事务处理。智力。系统。技术。 4 https://doi.org/10.1145/3472715 db/journals/tist/tist12.html#BozzanoCR21