自动驾驶系统的安全验证| IEEE期刊和杂志| IEEE Xplore