TY - RPRT TI - Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems AU - Mohamed Serry AU - S. Sivaranjani AU - Jun Liu PY - 2026 UR - https://arxiv.org/abs/2604.00305 ID - 2604.00305 ER -