Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Lopez, Diego Manzanas; Musau, Patrick; Hamilton, Nathaniel; Johnson, Taylor T.

by Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson

Reference:

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson, "Reachability Analysis of a General Class of Neural Ordinary Differential Equations", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol. , no. , pp. , 2022, sep.

Bibtex Entry:

@INPROCEEDINGS{lopez2022formats,
  author={Diego Manzanas Lopez and Patrick Musau and Nathaniel Hamilton and Taylor T. Johnson},
  booktitle={20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)}, 
  title={Reachability Analysis of a General Class of Neural Ordinary Differential Equations}, 
  year={2022},
  month=sep,
  volume={},
  number={},
  pages={},
  doi={},
  pdf="research/lopez2022formats.pdf"
}