TY  - RPRT
TI  - Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
AU  - Mohamed Serry
AU  - Haoyu Li
AU  - Ruikun Zhou
AU  - Huan Zhang
AU  - Jun Liu
PY  - 2025
UR  - https://arxiv.org/abs/2506.13961
ID  - 2506.13961
ER  -