Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09509-5
Abstract: 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,… read more here.
Keywords: machine learning; cyber physical; learning components; compositional falsification ... See more keywords