A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
NFM, pp. 175-190, 2016.
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
Full Text (Upload PDF)
PPT (Upload PPT)