Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems (bibtex)
by , , ,
Reference:
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, "Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems", In Unmanned System Technologies: Safe, Autonomous and Intelligent Vehicles, Springer, 2018, sept.
Bibtex Entry:
@article{xiang2018ust,
  author    = {Weiming Xiang and Diego Manzanas Lopez and Patrick Musau and Taylor T. Johnson},
  title     = {Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems},
  journal = {Unmanned System Technologies: Safe, Autonomous and Intelligent Vehicles},
  year      = {2018},
  month     = sept,
  publisher = {Springer},
  file      = {http://www.taylortjohnson.com/research/xiang2018ust.pdf},
  owner     = {tjohnson},
}
Powered by bibtexbrowser