理论上讲，由于自动驾驶汽车不像人类驾驶员那样容易注意力分散或疲劳，它们其实具有减少路面交通事故的潜力。不过，人类在遇到新状况时，无论是反应速度还是反应能力仍然要好很多。虽然现阶段我们无法训练自动驾驶汽车熟悉所有可能的交通状况，但工程师们可以向它们提供一种能计算“无事故轨迹”的框架，当然，其前提是其他道路使用者也能合法驾驶。

　　此次，德国慕尼黑工业大学研究人员克里斯蒂安·派克及其同事最新提出了一种算法，能保证自动驾驶汽车无论使用哪种轨迹规划都不会导致事故。研究人员假设其他交通参与者遵守物理和法规限制，这种算法可以在突发事件中计算出能紧急求助的安全规划。为了测试这一方法，研究团队利用在城市环境中记录的真实交通状况，对这个算法进行回放。他们发现，在所有情况下，算法都不会给出任何不安全的路径建议。

　　只有人们确信自动驾驶汽车比人类驾驶员行驶更安全时，自动驾驶系统才会被广泛接受。此次的研究成果同时表明，形式验证（一种综合性的验证方式，可以设定一些属性，它会以一种严密的逻辑方式穷尽所有可能去尝试着证明该设计满足或不满足这种属性）有助于实现安全的自动驾驶行为。