Verification of closed-loop systems with neural network controllers (bibtex)

by DM Lopez, P Musau, HD Tran and Taylor T. Johnson

Reference:

DM Lopez, P Musau, HD Tran and Taylor T. Johnson, "Verification of closed-loop systems with neural network controllers", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 201–210, 2019.

Bibtex Entry:

@inproceedings{lopez2019arch,
  title = {Verification of closed-loop systems with neural network controllers},
  author = {DM Lopez and P Musau and HD Tran and Taylor T. Johnson},
  year = {2019},
  month = may,
  booktitle = {EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19)},
  volume = {61},
  pages = {201--210},
  publisher = {EasyChair},
  doi = {10.29007/btv1},
  publabel = {W22},
  pubtype = {W},
  dblp = {conf/cpsweek/LopezMTJ19},
  pdf = "research/lopez2019arch.pdf",
}