25 citations · 78 across the 50 of their papers we have counts for
3 papers · 1 filter
Gray-box Adversarial Testing for Control Systems with Machine Learning Component
Shakiba Yaghoubi, Georgios Fainekos
Neural Networks (NN) have been proposed in the past as an effective means for both modeling and control of systems with very complex dynamics. However, despite the extensive resear…
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…
Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)
Shakiba Yaghoubi, Georgios Fainekos
One way to analyze Cyber-Physical Systems is by modeling them as hybrid automata. Since reachability analysis for hybrid nonlinear automata is a very challenging and computationall…