Abstract | ||
---|---|---|
One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that supports methods used to evaluate cyber-physical systems, such as test case generation and automatic falsification. We demonstrate how the framework can be used to evaluate closed-loop properties of autonomous driving system models that include machine learning components.
|
Year | Venue | Field |
---|---|---|
2018 | HSCC | Computer science,Contract based design,Control engineering,Vehicle platooning,Artificial neural network,Adversarial system |
DocType | ISBN | Citations |
Conference | 978-1-4503-5642-8 | 1 |
PageRank | References | Authors |
0.35 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cumhur Erkan Tuncali | 1 | 8 | 1.17 |
Georgios E. Fainekos | 2 | 804 | 52.65 |
Hisahiro Ito | 3 | 18 | 2.50 |
James Kapinski | 4 | 203 | 15.11 |