TY - RPRT TI - Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation AU - Hanjiang Hu AU - Jianglin Lan AU - Changliu Liu PY - 2024 UR - https://arxiv.org/abs/2404.13456 ID - 2404.13456 ER -