据英国《自然·机器智能》杂志9月14日公开的一项人工智能研究，德国科学家团队描述了一种算法，有助于确保自动驾驶汽车的行驶安全。

此次，德国慕尼黑工业大学研究人员克里斯蒂安·派克及其同事最新提出了一种算法，能保证自动驾驶汽车无论使用哪种轨迹规划都不会导致事故。此次的研究成果同时表明，形式验证有助于实现安全的自动驾驶行为。晚综