Reachability Analysis of a General Class of Neural Ordinary Differential Equations (bibtex)

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

Reference:

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and 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'22), Springer, pp. 258–277, 2022.

Bibtex Entry:

@inproceedings{lopez2022formats,
  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},
  month = sep,
  booktitle = {20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'22)},
  pages = {258--277},
  publisher = {Springer},
  doi = {10.1007/978-3-031-15839-1_15},
  publabel = {C35},
  pubtype = {C},
  dblp = {conf/formats/LopezMHJ22},
  pdf = "research/lopez2022formats.pdf",
}