TY  - RPRT
TI  - Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
AU  - Mohamed Serry
AU  - Jun Liu
PY  - 2025
UR  - https://arxiv.org/abs/2409.10657
ID  - 2409.10657
ER  -