Formalising Traffic Rules for Accountability of Autonomous Vehicles
- 1 September 2015
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1658-1665
- https://doi.org/10.1109/itsc.2015.269
Abstract
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.Keywords
This publication has 14 references indexed in Scilit:
- Online Verification of Automated Road Vehicles Using Reachability AnalysisIEEE Transactions on Robotics, 2014
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systemsMathematical Structures in Computer Science, 2013
- Proof Theory of a Multi-Lane Spatial LogicLecture Notes in Computer Science, 2013
- Highly Automated Driving on Highways Based on Legal SafetyIEEE Transactions on Intelligent Transportation Systems, 2012
- Adaptive Cruise Control: Hybrid, Distributed, and Now Formally VerifiedLecture Notes in Computer Science, 2011
- Design and Implementation of Car Black Box Based on Embedded SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Extending Deontic Logic for the Formalisation of Legal RulesPublished by Springer Science and Business Media LLC ,1998
- Deontic logic in the representation of law: Towards a methodologyArtificial Intelligence and Law, 1992
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- Some Speculation about Artificial Intelligence and Legal ReasoningStanford Law Review, 1970