Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.

Tommaso Dreossi Alexandre Donzé Sanjit A. Seshia

Published in: CoRR (2017)

Keyphrases

machine learning
cyber physical systems
cyber physical
knowledge discovery
mobile devices
low cost
data collection