4 papers
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov +2
Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to des…
A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles
Cumhur Erkan Tuncali
Testing autonomous vehicles in simulation environments is crucial. Sim-ATAV is an open-source framework developed for experimenting with different test generation techniques in sim…
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito +1
We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based contro…
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito +1
Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on a…