Foundation of Safe Autonomous Systems

点击翻译按钮获取中文摘要

Autonomous systems are about to make the jump to main stream commercial products that will be encounter by the public in their daily lives in the form of autonomous vehicles, delivery drones, etc. Semi autonomous vehicle features such as Tesla's autopilot and GM's Supercruise are already in widespread use. Elon Musk has gone so far as to claim that the Tesla ``Autopilot'' is safer than human drivers based upon the fact that over 100 million autopilot miles were driven before the first recorded fatality. While the safety of autonomous vehicles relative to human drivers is currently debatable, there is no doubt that such autonomous systems have the potential to deliver tremendous benefits. That said, they will only gain the public acceptance that would allow their widespread use if they are designed to be acceptably safe and reliable.