数据驱动形式推理及其在车辆自主特性安全分析中的应用| IEEE期刊和杂志| IEEE Xplore