Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers (bibtex)

by W Xiang, HD Tran, JA Rosenfeld and Taylor T. Johnson

Reference:

W Xiang, HD Tran, JA Rosenfeld and Taylor T. Johnson, "Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers", In American Control Conference (ACC'18), IEEE, pp. 1574–1579, 2018.

Bibtex Entry:

@inproceedings{xiang2018acc,
  title = {Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers},
  author = {W Xiang and HD Tran and JA Rosenfeld and Taylor T. Johnson},
  year = {2018},
  month = jun,
  booktitle = {American Control Conference (ACC'18)},
  pages = {1574--1579},
  publisher = {IEEE},
  doi = {10.23919/ACC.2018.8431048},
  publabel = {OC6},
  pubtype = {OC},
  arxiv = {1802.06981},
  dblp = {journals/corr/abs-1802-06981},
  s2id = {3385941},
  pdf = "research/xiang2018acc.pdf",
}