C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.
Tommaso Dreossi
Alexandre Donzé
Sanjit A. Seshia
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
machine learning
cyber physical systems
cyber physical
artificial intelligence
software engineering
supervised learning
computational intelligence
real time
information systems
unsupervised learning
embedded systems
cyber security