C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes.
Yuhao Zhang
Xiangru Xu
Published in:
ACC (2023)
Keyphrases
</>
reachability analysis
model checking
neural network
expert systems
safety analysis
learning algorithm
management system
asynchronous circuits
intelligent vehicles