FORMATS 2022 Artifact Evaluation: Reachability Analysis of a General Class of Neural Ordinary Differential Equations (ODEs)

This release contains the neural ordinary differential equation (ODE) reachability analysis code, corresponding to the paper "Reachability Analysis of a General Class of Neural Ordinary Differential Equations" by Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and Taylor T Johnson appearing at 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022).

The examples, case studies, etc., used in the paper are available in code/nnv/examples/Submission/FORMATS2022:

Tagged link: https://github.com/verivital/nnv/tree/formats2022/code/nnv/examples/Submission/FORMATS2022

Main link: https://github.com/verivital/nnv/tree/master/code/nnv/examples/Submission/FORMATS2022