Before revision:  We show that our method is faster and less conservative than other approaches , present results for approximate reachability analysis of neural networks and robust trajectory optimization of high-dimensional uncertain nonlinear systems, and discuss future applications.
After revision:  We demonstrate that our method is faster and less conservative than other approaches , present results for approximate reachability analysis of neural networks and robust trajectory optimization of high-dimensional uncertain nonlinear systems, and discuss future applications.