TY - RPRT TI - Provably Safe Control for Constrained Nonlinear Systems with Bounded Input AU - Saurabh Kumar AU - Shashi Ranjan Kumar AU - Abhinav Sinha PY - 2025 UR - https://arxiv.org/abs/2504.11592 ID - 2504.11592 ER -