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

Open in new window