8 citations · 8 across the 2 of their papers we have counts for
7 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…
Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles
Cumhur Erkan Tuncali, Georgios Fainekos
Autonomous vehicles are in an intensive research and development stage, and the organizations developing these systems are targeting to deploy them on public roads in a very near f…
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…
An Efficient Algorithm for Monitoring Practical TPTL Specifications
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali +1
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expres…