Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.

Yuhao Zhang Xiangru Xu

Published in: CoRR (2022)

Keyphrases

safety analysis
complex systems
real time
data sets
databases
case study
knowledge based systems
network architecture
machine learning
control system
management system
human operators
neural model
high assurance