Matches in SemOpenAlex for { <https://semopenalex.org/work/W2488996366> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2488996366 endingPage "190" @default.
- W2488996366 startingPage "175" @default.
- W2488996366 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 Traffic. Ensuring autonomous vehicles to comply with this safe distance rule is problematic because the Vienna Convention does not clearly define how large a safe distance is. We provide a formally proved prescriptive definition of how large this safe distance must be, and correct checkers for the compliance of this traffic rule. The prescriptive definition is obtained by: (1) identifying all possible relative positions of stopping (braking) distances; (2) selecting those positions from which a collision freedom can be deduced; and (3) reformulating these relative positions such that lower bounds of the safe distance can be obtained. These lower bounds are then the prescriptive definition of the safe distance, and we combine them into a checker which we prove to be sound and complete. Not only does our work serve as a specification for autonomous vehicle manufacturers, but it could also be used to determine who is liable in court cases and for online verification of autonomous vehicles’ trajectory planner." @default.
- W2488996366 created "2016-08-23" @default.
- W2488996366 creator A5005383495 @default.
- W2488996366 creator A5089633378 @default.
- W2488996366 creator A5090985194 @default.
- W2488996366 date "2016-01-01" @default.
- W2488996366 modified "2023-10-01" @default.
- W2488996366 title "A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles" @default.
- W2488996366 cites W102301403 @default.
- W2488996366 cites W1523874359 @default.
- W2488996366 cites W1534704094 @default.
- W2488996366 cites W169070976 @default.
- W2488996366 cites W1713610 @default.
- W2488996366 cites W1956142090 @default.
- W2488996366 cites W1966712204 @default.
- W2488996366 cites W198462461 @default.
- W2488996366 cites W2013791478 @default.
- W2488996366 cites W2021667711 @default.
- W2488996366 cites W2086124410 @default.
- W2488996366 cites W2086635537 @default.
- W2488996366 cites W2089080831 @default.
- W2488996366 cites W2100488636 @default.
- W2488996366 cites W2107872611 @default.
- W2488996366 cites W2120423655 @default.
- W2488996366 cites W3168224710 @default.
- W2488996366 cites W622938260 @default.
- W2488996366 doi "https://doi.org/10.1007/978-3-319-40648-0_14" @default.
- W2488996366 hasPublicationYear "2016" @default.
- W2488996366 type Work @default.
- W2488996366 sameAs 2488996366 @default.
- W2488996366 citedByCount "29" @default.
- W2488996366 countsByYear W24889963662016 @default.
- W2488996366 countsByYear W24889963662017 @default.
- W2488996366 countsByYear W24889963662018 @default.
- W2488996366 countsByYear W24889963662019 @default.
- W2488996366 countsByYear W24889963662020 @default.
- W2488996366 countsByYear W24889963662021 @default.
- W2488996366 countsByYear W24889963662022 @default.
- W2488996366 countsByYear W24889963662023 @default.
- W2488996366 crossrefType "book-chapter" @default.
- W2488996366 hasAuthorship W2488996366A5005383495 @default.
- W2488996366 hasAuthorship W2488996366A5089633378 @default.
- W2488996366 hasAuthorship W2488996366A5090985194 @default.
- W2488996366 hasBestOaLocation W24889963662 @default.
- W2488996366 hasConcept C121332964 @default.
- W2488996366 hasConcept C1276947 @default.
- W2488996366 hasConcept C13662910 @default.
- W2488996366 hasConcept C154945302 @default.
- W2488996366 hasConcept C2776999362 @default.
- W2488996366 hasConcept C41008148 @default.
- W2488996366 hasConceptScore W2488996366C121332964 @default.
- W2488996366 hasConceptScore W2488996366C1276947 @default.
- W2488996366 hasConceptScore W2488996366C13662910 @default.
- W2488996366 hasConceptScore W2488996366C154945302 @default.
- W2488996366 hasConceptScore W2488996366C2776999362 @default.
- W2488996366 hasConceptScore W2488996366C41008148 @default.
- W2488996366 hasLocation W24889963661 @default.
- W2488996366 hasLocation W24889963662 @default.
- W2488996366 hasOpenAccess W2488996366 @default.
- W2488996366 hasPrimaryLocation W24889963661 @default.
- W2488996366 hasRelatedWork W1963593686 @default.
- W2488996366 hasRelatedWork W2434137915 @default.
- W2488996366 hasRelatedWork W2610446193 @default.
- W2488996366 hasRelatedWork W2762832356 @default.
- W2488996366 hasRelatedWork W2979468304 @default.
- W2488996366 hasRelatedWork W3004162282 @default.
- W2488996366 hasRelatedWork W3043783241 @default.
- W2488996366 hasRelatedWork W4285782836 @default.
- W2488996366 hasRelatedWork W4303441361 @default.
- W2488996366 hasRelatedWork W4308080869 @default.
- W2488996366 isParatext "false" @default.
- W2488996366 isRetracted "false" @default.
- W2488996366 magId "2488996366" @default.
- W2488996366 workType "book-chapter" @default.