235 citations · 356 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CV2017★ 34 cited
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +1
We present a framework to systematically analyze convolutional neural networks (CNNs) used in classification of cars in autonomous vehicles. Our analysis procedure comprises an ima…
eess.SY2017
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…