Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson. Reachability Analysis of a General Class of Neural Ordinary Differential Equations. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 258-277, Springer, 2022. [doi]
@inproceedings{LopezMHJ22,
title = {Reachability Analysis of a General Class of Neural Ordinary Differential Equations},
author = {Diego Manzanas Lopez and Patrick Musau and Nathaniel Hamilton and Taylor T. Johnson},
year = {2022},
doi = {10.1007/978-3-031-15839-1_15},
url = {https://doi.org/10.1007/978-3-031-15839-1_15},
researchr = {https://researchr.org/publication/LopezMHJ22},
cites = {0},
citedby = {0},
pages = {258-277},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings},
editor = {Sergiy Bogomolov and David Parker 0001},
volume = {13465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15839-1},
}