Reachability Analysis of a General Class of Neural Ordinary Differential Equations - Manzanas Lopez, Diego; Musau, Patrick; Hamilton, Nathaniel P.; Johnson, Taylor T. (Formal Modeling and Analysis of Timed Systems, 2022)