A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Albert Rizaldi
Albert Rizaldi

NFM, pp. 175-190, 2016.

Cited by: 0|Bibtex|Views2
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

One barrier in introducing autonomous vehicle technology is the liability issue when these vehicles are involved in an accident. To overcome this, autonomous vehicle manufacturers should ensure that their vehicles always comply with traffic rules. This paper focusses on the safe distance traffic rule from the Vienna Convention on Road Tra...More

Code:

Data:

Your rating :
0

 

Tags
Comments