2017
DOI: 10.1115/1.2017-dec-9
|View full text |Cite
|
Sign up to set email alerts
|

A Driver’s License Test for Driverless Vehicles

Abstract: This article elaborates the approaches that can be used to verify an autonomous vehicle (AV) before giving it a driver’s license. Formal methods applied to the problem of AV verification include theorem proving, reachability analysis, synthesis, and maneuver design. Theorem proving is an interactive technique in which the computer is largely responsible for demonstrating that the model satisfies the specification, with occasional help from the user. The latter provides lemmas and axioms that the tool leverages… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
7
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
3
3

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(7 citation statements)
references
References 13 publications
0
7
0
Order By: Relevance
“…A combination of simulation-based optimization (Sec-tionVI-D) prior to a reachability analysis is also possible [162], [163]. They call it a robustness-guided verification technique.…”
Section: Reachability Analysismentioning
confidence: 99%
“…A combination of simulation-based optimization (Sec-tionVI-D) prior to a reachability analysis is also possible [162], [163]. They call it a robustness-guided verification technique.…”
Section: Reachability Analysismentioning
confidence: 99%
“…Similarly, in [16], systems are forced into faulty behavior with respect to previously-defined specifications. In [17] and [18], test case generation for automated vehicles is realized using S-TaLiRo. In [19], an approach using S-TaLiRo is applied to motion planners based on machine learning, including simulated camera processing using deep neural networks.…”
Section: A Related Workmentioning
confidence: 99%
“…11,16] or can be artificially generated with different approaches [e.g. 13,[17][18][19][20]. A central database to store relevant scenarios is proposed in [21].…”
Section: "A Scenario Describes the Temporal Development Between Severmentioning
confidence: 99%