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

Tommaso Dreossi Alexandre Donzé Sanjit A. Seshia

Published in: NFM (2017)

Keyphrases

machine learning
cyber physical systems
cyber physical
physical world
data mining
artificial intelligence
data analysis
unsupervised learning
social networks
decision makers
data processing
embedded systems