C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems.
Nikhil Naik
Pierluigi Nuzzo
Published in:
MEMOCODE (2020)
Keyphrases
</>
neural network
cyber physical systems
cyber physical
artificial neural networks
physical world
supply chain
social networks
fuzzy logic
cyber security
data analysis
ubiquitous computing
network management