20 citations · 29 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
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…
eess.SY2018★ 2 cited
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…