A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
[chapter]
2017
Lecture Notes in Computer Science
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components lead to
doi:10.1007/978-3-319-57288-8_26
fatcat:evx5o5i5b5hn3iwfaidm6tehvi