Verification of Closed-loop Systems with Neural Network Controllers

Lopez, Diego Manzanas; Musau, Patrick; Tran, Hoang-Dung; Johnson, Taylor T.

doi:10.29007/btv1

by Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson, "Verification of Closed-loop Systems with Neural Network Controllers", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 61, pp. 201–210, 2019, April.

Bibtex Entry:

@inproceedings{manzanas2019arch,
  author    = {Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Taylor T. Johnson},
  title     = {Verification of Closed-loop Systems with Neural Network Controllers},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {201--210},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ZmnC},
  doi       = {10.29007/btv1},
  month = "April",
}