OnaFormalModelofSafeandScalableSelf-drivingCars（Mobileye安全定义）

想靠数学模型解决自动驾驶时代的事故问题，Mobileye的工程师思维引领行业方向。Mobileye的逻辑其实很简单，它认为如果我们能用形式化模型来判断事故责任，那么工程师开发起驾驶策略算法就更加轻松，而这些算法是避免自动驾驶汽车造成事故的核心（被动被非自动驾驶汽车卷入事故不可避免）。此外，这样的模型还能让工程师制定出“有效的验证过程”，无需靠麻烦的路测和模拟。