TY - RPRT TI - Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach AU - Tao Wang AU - Yapeng Li AU - Zihao Mo AU - Wesley Cooke AU - Weiming Xiang PY - 2024 UR - https://arxiv.org/abs/2411.10262 ID - 2411.10262 ER -