Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.

Yuhao Zhang Xiangru Xu

Published in: CDC (2022)

Keyphrases

management system
data sets
neural network
knowledge base
expert systems
intelligent systems
complex systems
network architecture
database
e learning
face recognition
mobile robot
computer systems
learning systems