One significant barrier in introducing autonomous driving is the liability issue of a collision; e.g. when two autonomous vehicles collide, it is unclear which vehicle should be held accountable. To solve this issue, we view traffic rules from legal texts as requirements for autonomous vehicles. If we can prove that an autonomous vehicle always satisfies these requirements during its operation, then it cannot be held responsible in a collision. We present our approach by formalising a subset of traffic rules from the Vienna Convention on Road Traffic for highway scenarios in Isabelle/HOL.
Formalising Traffic Rules for Accountability of Autonomous Vehicles
2015-09-01
224671 byte
Conference paper
Electronic Resource
English
British Library Online Contents | 1997
Online Contents | 1997
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
British Library Conference Proceedings | 2016
|