Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.

Yuhao Zhang Hang Zhang Xiangru Xu

Published in: CoRR (2023)

Keyphrases

reachability analysis
neural network
artificial intelligence
management system
real time
expert systems
xml documents
distributed systems
intelligent systems
sufficient conditions
computer systems
network architecture
bi directional