Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

no code implementations • 2 Aug 2019 • Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski

Additionally, we present three driving scenarios and demonstrate how our requirements-driven testing framework can be used to identify critical system behaviors, which can be used to support the development process.

Autonomous Vehicles BIG-bench Machine Learning

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

2 code implementations • 18 Apr 2018 • Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-physical systems.

Autonomous Driving BIG-bench Machine Learning

Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems

no code implementations • 11 Apr 2018 • Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based controllers.