Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems (bibtex)

by W Xiang, DM Lopez, P Musau and Taylor T. Johnson

Reference:

W Xiang, DM Lopez, P Musau and Taylor T. Johnson, "Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems", Chapter in Safe, Autonomous and Intelligent Vehicles, Series on Unmanned Systems Technologies, Springer, pp. 123–144, 2019.

Bibtex Entry:

@incollection{xiang2019ust,
  title = {Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems},
  author = {W Xiang and DM Lopez and P Musau and Taylor T. Johnson},
  year = {2019},
  booktitle = {Safe, Autonomous and Intelligent Vehicles, Series on Unmanned Systems Technologies, Springer},
  pages = {123--144},
  doi = {10.1007/978-3-319-97301-2_7},
  publabel = {BC1},
  pubtype = {BC},
  arxiv = {1802.03557},
  dblp = {journals/corr/abs-1802-03557},
  s2id = {3640186},
  pdf = "research/xiang2019ust.pdf",
}