Sim-ATAV

Autor: Georgios Fainekos, Hisahiro Ito, James Kapinski, Cumhur Erkan Tuncali
Rok vydání: 2018
Předmět:
Zdroj: HSCC
DOI: 10.1145/3178126.3187004
Popis: 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.
Databáze: OpenAIRE