C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sherlock - A tool for verification of neural network feedback systems: demo abstract.
Souradeep Dutta
Xin Chen
Susmit Jha
Sriram Sankaranarayanan
Ashish Tiwari
Published in:
HSCC (2019)
Keyphrases
</>
neural network
machine learning
genetic algorithm
higher level
artificial neural networks
information systems
low level
relevance feedback
building blocks
complex systems
asynchronous circuits
feedback mechanisms