Keyword:ordinary differential equations

Publications
Non-linear Continuous Systems for Safety Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems Fabian Immler In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems