Julien Alexandre Dit Sandretto, Jian Wan. Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. In Igor Potapov, Pierre-Alain Reynier, editors, Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. Volume 11123 of Lecture Notes in Computer Science, pages 1-14, Springer, 2018. [doi]
Abstract is missing.