Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation