235 citations · 330 across the 12 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
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on propertie…