Keyword:Nonlinear ordinary differential equations

Publications
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems