Email Gateway (Aug 23 2022 at 09:17): Email Gateway (Aug 23 2022 at 09:17):From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,
it is a pleasure for me to announce the following new AFP entry:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
by Albert Rizaldi and Fabian Immler
The Vienna Convention on Road Traffic defines the safe distance traffic rules
informally. This could make autonomous vehicle liable for safe-distance-related
accidents because there is no clear definition of how large a safe distance is.
We provide a formally proven prescriptive definition of a safe distance, and
checkers which can decide whether an autonomous vehicle is obeying the safe
distance rule. Not only does our work apply to the domain of law, but it also
serves as a specification for autonomous vehicle manufacturers and for online
verification of path planners.
For further information have a look at:
https://www.isa-afp.org/entries/Safe_Distance.html
Enjoy,
René
Last updated: Apr 25 2024 at 04:18 UTC